MAGIC
From MaRDI portal
Cited in
(60)- Reducing concurrent analysis under a context bound to sequential analysis
- CLPS-B
- D-Finder
- GeneSyst
- jMoped
- SLMC
- Efficient verification of sequential and concurrent C programs
- COWS
- Orc
- ComFoRT
- Verifying parallel programs with dynamic communication structures
- SymmExtractor
- Bandera
- SymmPa
- Bebop
- Threader
- TLPVS
- Banshee
- Simulation for lattice-valued doubly labeled transition systems
- Model checking dynamic pushdown networks
- Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving
- Concurrent software verification with states, events, and deadlocks
- Counterexample-guided abstraction refinement for symmetric concurrent programs
- Verification of Boolean programs with unbounded thread creation
- A complete refinement procedure for regular separability of context-free languages
- Automated compositional abstraction refinement for concurrent C programs: a two-level approach
- Parallel assignments in software model checking
- monabs
- Aglets
- Model checking concurrent programs
- On the analysis of interacting pushdown systems
- DDVerify
- Moped
- Automated deadlock detection in synchronized reentrant multithreaded call-graphs
- The Temporal Logic of Rewriting: A Gentle Introduction
- On the Reachability Analysis of Acyclic Networks of Pushdown Systems
- Finding Concurrency-Related Bugs Using Random Isolation
- Partial Order Reduction for State/Event LTL
- Verifying Parallel Programs with Dynamic Communication Structures
- Magiclock
- A model checking-based approach for security policy verification of mobile systems
- A formal model for service-oriented interactions
- SAT-solving in CSP trace refinement
- Program-Conflict-Analysis
- The Linear Temporal Logic of Rewriting Maude Model Checker
- Unboundedness problems for languages of vector addition systems
- Revisiting underapproximate reachability for multipushdown systems
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous
- A rewriting-based model checker for the linear temporal logic of rewriting
- Bounded communication reachability analysis of process rewrite systems with ordered parallelism
- Verifying multithreaded recursive programs with integer variables
- Unbounded model-checking with interpolation for regular language constraints
- State/Event Software Verification for Branching-Time Specifications
- Interprocedural Analysis of Concurrent Programs Under a Context Bound
- Program Analysis Using Weighted Pushdown Systems
- Partial order reduction for state/event LTL with application to component-interaction automata
- Tools and Algorithms for the Construction and Analysis of Systems
- Integrated Formal Methods
- Lost in abstraction: monotonicity in multi-threaded programs
- Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors
This page was built for software: MAGIC
