Affiner les résultats
Type de document
Institution
Collection spécifique
Langue
- Anglais (1)
Auteur
- Sebastiani, Roberto (1)
- Singerman, Eli (1)
- Tonetta, Stefano (1)
- Vardi, Moshe (1)
Domaine
- Médecine, Technologie, Sciences de l'ingénieur, Informatique
- Technologie, Sciences de l'ingénieur
- Technologie, Sciences de l'ingénieur
Mot clé
- AG : Assertion Graph (1)
- BA : Büchi Automaton (1)
-
FG : Fair Graph (1)
- GSTE (1)
- GSTE : Generalized STE (1)
- MC : Model Checking (1)
- Property-driven partitioning (1)
- SMC : Symbolic MC (1)
- STE : Symbolic Trajectory Evaluation (1)
- Symbolic model checking (1)