Bandera
From MaRDI portal
Cited in
(only showing first 100 items - show all)- CLPS-B
- CVPP
- jETI
- Zing
- Quasar
- Cogent
- GeneSyst
- veriSoft
- DiVer
- PiXL
- StEAM
- SyncGen
- ToolBus
- BLAST
- SLAM
- RAISE
- SPIN
- NuSMV
- AspectJ
- On partial state matching
- Fairness modulo theory: a new approach to LTL software model checking
- TASS_
- ISP
- PGAPack
- Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13--17, 2004. Proceedings.
- General Purpose Hash Function Library
- A local approach for temporal model checking of Java bytecode
- Specification and (property) inheritance in CSP-OZ
- Syntax-directed model checking of sequential programs
- Java-MaC: A run-time assurance approach for Java programs
- An overview of the runtime verification tool Java PathExplorer
- Efficient verification of sequential and concurrent C programs
- Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
- Bogor
- Limmat
- ADL
- Korat
- TASS: the toolkit for accurate scientific software
- visualSTATE
- SymmSpin
- ComFoRT
- PROMELA
- Java PathFinder
- MAVEN
- CESAR
- Eraser
- Bebop
- Soot
- CVC
- vUML
- CheckVML
- GROOVE
- TVLA
- dSPIN
- JPAX
- CCured
- MOPS
- SPARK Pro
- HARE
- Nighthawk
- Counterexample-guided predicate abstraction of hybrid systems
- InVeSt
- JPF-SE
- MDGs
- Concurrent software verification with states, events, and deadlocks
- Integrating a formal method into a software engineering process with UML and Java
- Observations in using parallel and sequential evolutionary algorithms for automatic software testing
- GDB
- Compositional analysis of C/C++ programs with veriSoft
- A compositional behavioral modeling framework for embedded system design and conformance checking
- Slicing techniques for verification re-use
- Using heuristic search for finding deadlocks in concurrent systems
- A general framework for types in graph rewriting
- MAGIC
- Highly dependable concurrent programming using design for verification
- scientific article; zbMATH DE number 1629952 (Why is no real title available?)
- scientific article; zbMATH DE number 1670550 (Why is no real title available?)
- scientific article; zbMATH DE number 1670555 (Why is no real title available?)
- scientific article; zbMATH DE number 1670556 (Why is no real title available?)
- scientific article; zbMATH DE number 1670561 (Why is no real title available?)
- scientific article; zbMATH DE number 1670563 (Why is no real title available?)
- scientific article; zbMATH DE number 1693529 (Why is no real title available?)
- scientific article; zbMATH DE number 1701757 (Why is no real title available?)
- scientific article; zbMATH DE number 1701764 (Why is no real title available?)
- scientific article; zbMATH DE number 1701765 (Why is no real title available?)
- VIP
- CodeSonar
- Klockwork
- Random walk based heuristic algorithms for distributed memory model checking
- Some lessons from using static analysis and software model checking for bug finding
- Automated compositional abstraction refinement for concurrent C programs: a two-level approach
- Space-reduction strategies for model checking dynamic software
- LCLint
- scientific article; zbMATH DE number 2088675 (Why is no real title available?)
- Charon
- Model checking of concurrent algorithms: from Java to C
- Combining model checking and testing
- Combining Model Checking and Deduction
- CLIF
- BeJC
This page was built for software: Bandera
