Exact finite-state machine identification from scenarios and temporal properties

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

The temporal logic of programs

Amir Pnueli · 1977 · 5.6K citations

Program Checking, Engineering, Verification +16

Testing Software Design Modeled by Finite-State Machines

Tsun S. Chow · IEEE Transactions on Software Engineering · 1978 · 1.4K citations

Engineering, Verification, Automata Theory +18

Complexity of automaton identification from given data

Eric Gold · Information and Control · 1978 · 763 citations

Engineering, Automaton Identification, Data Mining +9

Temporal Induction by Incremental SAT Solving

Niklas Eén, Niklas Sörensson · Electronic Notes in Theoretical Computer Science · 2003 · 369 citations · Full text

Artificial Intelligence, Engineering, Verification +16