Bogor

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