Computer Aided Verification
From MaRDI portal
Publication:5312914
DOI10.1007/b98490zbMath1103.68071OpenAlexW4298302743MaRDI QIDQ5312914
Ahmed Bouajjani, Peter Habermehl, Tomáš Vojnar
Publication date: 25 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98490
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Structural Invariants for the Verification of Systems with Parameterized Architectures ⋮ Regular model checking with regular relations ⋮ Model Checking Parameterized Systems ⋮ Generalised multi-pattern-based verification of programs with linear linked structures ⋮ Unnamed Item ⋮ Regular model checking revisited ⋮ Static Analysis of Communicating Processes Using Symbolic Transducers ⋮ Monotonic Abstraction for Programs with Dynamic Memory Heaps ⋮ On the \(k\)-synchronizability of systems ⋮ Verification of graph grammars using a logical approach ⋮ An Infinite Automaton Characterization of Double Exponential Time ⋮ Forward Bisimulations for Nondeterministic Symbolic Finite Automata ⋮ Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates ⋮ Computable fixpoints in well-structured symbolic model checking ⋮ Automata-based symbolic string analysis for vulnerability detection ⋮ Checking deadlock-freedom of parametric component-based systems ⋮ Tree regular model checking: a simulation-based approach ⋮ View abstraction for systems with component identities ⋮ Survey on Directed Model Checking ⋮ On Verifying Fault Tolerance of Distributed Protocols ⋮ Relational String Verification Using Multi-track Automata ⋮ Bottom-Up Shape Analysis ⋮ Don't care words with an application to the automata-based approach for real addition ⋮ Automatic Verification of Directory-Based Consistency Protocols ⋮ Automated formal analysis and verification: an overview
Uses Software
This page was built for publication: Computer Aided Verification
