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