Computer Aided Verification
From MaRDI portal
Publication:5900681
DOI10.1007/b11831zbMath1278.68150MaRDI QIDQ5900681
Marcus Nilsson, Julien d'Orso, Bengt Jonsson, Parosh Aziz Abdulla
Publication date: 20 April 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11831
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism, On Verifying Fault Tolerance of Distributed Protocols, Model checking, synthesis, and learning, Regular model checking: evolution and perspectives, Don't care words with an application to the automata-based approach for real addition, Tree regular model checking: a simulation-based approach, Learning to verify branching time properties, Efficiency of automata in semi-commutation verification techniques, Learning Meets Verification