Tools and Algorithms for the Construction and Analysis of Systems
From MaRDI portal
Publication:5899068
DOI10.1007/11691372zbMath1180.68109OpenAlexW2739785336MaRDI QIDQ5899068
Edmund M. Clarke, Tayssir Touili, Nicholas Kidd, Sagar Chaki, Thomas W. Reps
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11691372
Related Items (20)
A complete refinement procedure for regular separability of context-free languages ⋮ Revisiting Underapproximate Reachability for Multipushdown Systems ⋮ Model Checking Concurrent Programs ⋮ Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous ⋮ Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis ⋮ A model checking-based approach for security policy verification of mobile systems ⋮ Language Strength Reduction ⋮ Counterexample-guided abstraction refinement for symmetric concurrent programs ⋮ Verifying parallel programs with dynamic communication structures ⋮ On the Reachability Analysis of Acyclic Networks of Pushdown Systems ⋮ Unboundedness Problems for Languages of Vector Addition Systems. ⋮ Verification of Boolean programs with unbounded thread creation ⋮ Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism ⋮ Verifying Multithreaded Recursive Programs with Integer Variables ⋮ Lost in abstraction: monotonicity in multi-threaded programs ⋮ Interprocedural Analysis of Concurrent Programs Under a Context Bound ⋮ Program Analysis Using Weighted Pushdown Systems ⋮ Verifying Parallel Programs with Dynamic Communication Structures ⋮ Reducing concurrent analysis under a context bound to sequential analysis ⋮ Model checking dynamic pushdown networks
Uses Software
This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems
