- Welkom
- Alexandre David
Nuwe Sagteware Vir Alexandre David
UPPAAL TIGA 4.1.0-0.9
uppaal Tiga is 'n uitbreiding van die uppaal [BDL04] en dit implementeer die eerste doeltreffende on-the-fly algoritme vir die oplos speletjies wat gebaseer is op die regte tyd spel outomate met betrekking tot reach en veiligheid eienskappe.Hoewel...
UPPAAL 4.0.6
uppaal is 'n geïntegreerde hulpmiddel omgewing vir modellering, validering en verifikasie van real-time stelsels geskoei as netwerke van snel outomate, uitgebrei met tipes data (begrens heelgetalle, skikkings, ens.)Uppaal CORA is 'n tak van uppaal...