LTL model checking with Neco

DOI10.1007/978-3-319-02444-8_33zbMATH Open1410.68226OpenAlexW2134056608MaRDI QIDQ5166707FDOQ5166707

Alexandre Duret-Lutz, Łukasz Fronc

Publication date: 8 July 2014

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-02444-8_33

Recommendations

• Model checking LTL using constraint programming
• scientific article; zbMATH DE number 1822435
• scientific article; zbMATH DE number 1744967
• scientific article; zbMATH DE number 1852166
• Applications and Theory of Petri Nets 2004

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• Semi-external LTL Model Checking
• SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper)

Uses Software

• SPOT
• neco-spot
• Neco
• SNAKES

This page was built for publication: LTL model checking with Neco

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