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