Title | ||
---|---|---|
Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-642-54862-8_38 | TACAS |
Field | DocType | Citations |
Kripke structure,Discrete mathematics,Model checking,Computer science,Automaton,Linear temporal logic,Theoretical computer science,Invariant (mathematics),Büchi automaton,Symbolic trajectory evaluation | Conference | 3 |
PageRank | References | Authors |
0.38 | 25 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ala-Eddine Ben Salem | 1 | 11 | 1.59 |
Alexandre Duret Lutz | 2 | 213 | 17.70 |
Fabrice Kordon | 3 | 603 | 61.72 |
Yann Thierry-Mieg | 4 | 225 | 18.17 |