LTL model checking with Neco

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

Authors Łukasz Fronc, Alexandre Duret-Lutz

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

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)

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

Cited in

(2)

• SNAKES: a flexible high-level Petri nets library (tool paper)
• Semi-external LTL Model Checking

Describes a project that uses

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)