Extending testing automata to all LTL

DOI10.1007/978-3-319-19195-9_13MaRDI QIDQ2827458zbMATH OpenOpenAlexFDO

Authors Ala-Eddine Ben Salem

Publication date 19 October 2016

Published in Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-01767338/file/978-3-319-19195-9_13_Chapter.pdf

Mathematics Subject Classification ID

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

Recommendations

• Model Checking Using Generalized Testing Automata
• Single-pass testing automata for LTL model checking
• Model Checking Software
• Efficient translation from transition-based generalized Büchi automata to Büchi automata
• Efficient approach of translating LTL formulae into Büchi automata

Cited in

(2)

• Single-pass testing automata for LTL model checking
• Model Checking Software

This page was built for publication: Extending testing automata to all LTL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2827458)