swMATH6858MaRDI QIDQ18927FDOQ18927
Author name not available (Why is that?)
Official website: http://bogor.projects.cis.ksu.edu/
Cited In (43)
- Tools and Algorithms for the Construction and Analysis of Systems
- Efficient SAT-based bounded model checking for software verification
- 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
- Tools and Algorithms for the Construction and Analysis of Systems
- TASS_
- General Purpose Hash Function Library
- Moise+
- SymmSpin
- A dynamic logic for deductive verification of multi-threaded programs
- Bandera
- Java PathFinder
- Eraser
- CheckVML
- GROOVE
- BEEM
- dSPIN
- vUML
- GDB
- Model Checking Software
- CONCUR 2004 - Concurrency Theory
- KLEE-FP
- Zapato
- JNuke
- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
- Galoan: A multi-agent approach to herd cows
- 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
