Computer Aided Verification
From MaRDI portal
Publication:5900680
DOI10.1007/b11831zbMath1278.68157OpenAlexW1571340194MaRDI QIDQ5900680
Bernard Boigelot, Axel Legay, Pierre Wolper
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
Related Items
Regular model checking with regular relations, Model Checking Parameterized Systems, Learning to verify branching time properties, Unnamed Item, Fair Termination for Parameterized Probabilistic Concurrent Systems, Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates, Computable fixpoints in well-structured symbolic model checking, Tree regular model checking: a simulation-based approach, Handling Parameterized Systems with Non-atomic Global Conditions, Bottom-Up Shape Analysis, Monotonic Abstraction in Parameterized Verification, Don't care words with an application to the automata-based approach for real addition, Automatic Verification of Directory-Based Consistency Protocols, Approximated parameterized verification of infinite-state processes with global conditions, Monotonic Abstraction in Action, Automated formal analysis and verification: an overview, Parameterised verification for multi-agent systems
Uses Software
