SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools
Contributeurs/tricesDi Marzo Serugendo, Giovanna![orcid](assets/images/orcid.png)
; Biberstein, Olivier; Buchs, Didier; Buffo, Mathieu; Buffard, Christophe; Flumet, Jacques; Hulaas, Jarle; Racloz, Pascal
![orcid](assets/images/orcid.png)
MandantCUI - Centre Universitaire d'Informatique, Université de Genève
Nombre de pages101
Maison d'éditionGeneva : CUI - Centre Universitaire d'Informatique, Université de Genève
Date de publication1995
Résumé
Mots-clés
- Formal methods for software engineering
- Specification language
- Modular specifications
- High level nets
- Algebraic Petri nets
- Algebraic abstract data types
- Net simulation
- Reachability graph
- Model checking
- Symbolic representation of states
- Verification
- Temporal properties
- High performance
- Parallelism
- Probabilism
- Specification transformation
- Prototyping
- Executable specifications
- Distributed systems
Structure d'affiliation
Citation (format ISO)
DI MARZO SERUGENDO, Giovanna et al. SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools. 1995
Fichiers principaux (1)
Report
![accessLevelPublic](assets/images/access-level-free.png)
Identifiants
- PID : unige:55420
URL commercialhttp://cui.unige.ch/~dimarzo/papers/TR-95-133.pdf