Perfeziona i miei risultati
Document type
Institution
Lingua
- Inglese (3)
Autore
- Tonetta, Stefano (3)
- Sharygina, Natasha (2)
- Tsitovich, Aliaksei (2)
- Kroening, Daniel (1)
- Sebastiani, Roberto (1)
- Singerman, Eli (1)
- Vardi, Moshe (1)
- Wintersteiger, Christoph (1)
Parola chiave
- AG : Assertion Graph (1)
- Approximated abstraction (1)
- BA : Büchi Automaton (1)
- CEGAR (1)
- FG : Fair Graph (1)
- GSTE (1)
- GSTE : Generalized STE (1)
- Loop invariants (1)
- Loop summarization (1)
- MC : Model Checking (1)
- Precise abstraction (1)
- Predicate abstraction (1)
- Program abstraction (1)
- Property-driven partitioning (1)
- SMC : Symbolic MC (1)
- STE : Symbolic Trajectory Evaluation (1)
- Symbolic model checking (1)
- Termination (1)
- Transition invariants (1) Di più Meno