Model Checking Using Generalized Testing Automata

DOI10.1007/978-3-642-35179-2_5zbMath1377.68139OpenAlexW148757792MaRDI QIDQ4909350

Fabrice Kordon, Ala-Eddine Ben Salem, Alexandre Duret-Lutz

Publication date: 13 March 2013

Published in: Transactions on Petri Nets and Other Models of Concurrency VI (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35179-2_5

zbMATH Keywords

model checkingemptiness checktesting automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• LTL2BA

This page was built for publication: Model Checking Using Generalized Testing Automata