 | Milieu voor ingesloten softwareverificatieVertaal UML-sequenties met dit instrument |
| Download nu | |
Milieu voor ingesloten softwareverificatie Rangschikking & Samenvatting
Advertentie
- Vergunning:
- GPL
- Naam uitgever:
- Marcelo M. Custodio
- Besturingssystemen:
- Windows All
- Bestandsgrootte:
- 57 KB
Milieu voor ingesloten softwareverificatie Tags
Milieu voor ingesloten softwareverificatie Beschrijving
Milieu voor embedded softwareverificatie is gebouwd als een omgeving die UML-sequentiediagrammen naar Petri Netten kan vertalen en systeemeigenschappen met SMV verifiëren. Het gereedschap ontvangt als invoerreeksschema's van UML en biedt het Petri Net in drie verschillende formaten: · APNN, · PNML, · SMV.
Milieu voor ingesloten softwareverificatie Gerelateerde software
Liberty Basic Quick Visual Designer
Een GUI-ontwerper die gericht is op het vereenvoudigen van de Liberty Basic Form-creatie ...
99 KB
Radvolution Designer - Standard Edition 2005
De eenvoudige manier om professionele .NET-formulieren in no-time te ontwerpen en te onderhouden ...
4.3 MB