LTL Model Checking with Neco

DOI10.1007/978-3-319-02444-8_33zbMath1410.68226OpenAlexW2134056608MaRDI QIDQ5166707

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

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)

Related Items (1)

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