Cited in
(49)- Efficient SAT-based bounded model checking for software verification
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Aided Verification
- Space-reduction strategies for model checking dynamic software
- Model checking dynamic memory allocation in operating systems
- Model Checking Software
- Automated Technology for Verification and Analysis
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Aided Verification
- Computer Aided Verification
- Extracting Zing Models from C Source Code
- Dynamically Evolvable Dependable Software: From Oxymoron to Reality
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
- Zing
- Quasar
- POOC
- DiVer
- veriSoft
- StEAM
- TASS_
- General Purpose Hash Function Library
- Moise+
- SymmSpin
- Bandera
- Java PathFinder
- Eraser
- CheckVML
- GROOVE
- BEEM
- dSPIN
- vUML
- GDB
- KLEE-FP
- Zapato
- JNuke
- A dynamic logic for deductive verification of multi-threaded programs
- Tools and Algorithms for the Construction and Analysis of Systems
- Model Checking Software
- CONCUR 2004 - Concurrency Theory
- Galoan: A multi-agent approach to herd cows
- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
- Using source transformation to test and model check implicit-invocation systems
- Towards automated software model checking using graph transformation systems and bogor
- Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
- A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows
- TASS: the toolkit for accurate scientific software
- Verifying time partitioning in the DEOS scheduling kernel
- Computer Aided Verification
This page was built for software: Bogor
