Archive ouverte UNIGE

Author / Editor

• Buchs, Didier (4)
• Hostettler, Steve Patrick (3)
• Marechal Marin, Alexis Ayar (2)
• Biberstein, Olivier (1)
• Buffard, Christophe (1)
• Buffo, Mathieu (1)
• Di Marzo Serugendo, Giovanna (1)
• Flumet, Jacques (1)
• Hulaas, Jarle (1)
• Linard, Alban (1)
• Racloz, Pascal (1)
• Risoldi, Matteo (1)

Document type

• Article scientifique (2)
• Rapport technique (2)
• Thèse (1)

Full text accessibility

• Free access (5)

Full text version

• Accepted version (2)
• Unknown (2)
• Submitted version (1)

Subject

• Model checking (4)
• Higher-level nets models (2)
• Specification language (2)
• State space generation (2)
• System design and verification (2)
• Algebraic abstract data types (1)
• Alpina (1)
• Computer tools for nets (1)
• Decision diagrams (1)
• Decisions diagrams (1)
• Distributed systems (1)
• Executable specifications (1)
• First-order logic (1)
• Formal methods for software engineering (1)
• High level nets (1)
• High performance (1)
• High-level nets (1)
• Invariants (1)
• Modular specifications (1)
• Net simulation (1)
• Parallelism (1)
• Probabilism (1)
• Properties (1)
• Prototyping (1)
• Reachability graph (1)
• Sigma decision diagrams (1)
• Specification transformation (1)
• Symbolic model checking (1)
• Symbolic representation of states (1)