Syspect is een hulpmiddel om een systeem op te geven met behulp van UML2-diagrammen en deze te vertalen naar een CSP-OZ-DC-specificatie voor formele verificatie.
versiegeschiedenis
- Versie 1.5.0 geplaatst op 2010-05-11
Verschillende oplossingen en updates - Versie 1.5.0 geplaatst op 2010-05-11
Programmadetails
- Categorie: Onderwijs > Andere
- Publisher: syspect.informatik.uni-oldenburg.de
- Licentie: Gratis
- Prijs: N/A
- Versie: 1.5.0
- Platform: windows