Model Checking Software
From MaRDI portal
Publication:5394558
DOI10.1007/11537328zbMath1151.68475MaRDI QIDQ5394558
Denis Poitrenaud, Alexandre Duret-Lutz, Jean-Michel Couvreur
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11537328
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Automata-Theoretic Model Checking Revisited, Efficient emptiness check for timed Büchi automata, LTL to self-loop alternating automata with generic acceptance and back, Generic Emptiness Check for Fun and Profit, On-the-fly Emptiness Check of Transition-Based Streett Automata, Checking Timed Büchi Automata Emptiness Using LU-Abstractions
Uses Software