swMATH7663MaRDI QIDQ19685FDOQ19685
Author name not available (Why is that?)
Official website: http://bandera.projects.cis.ksu.edu/
Cited In (only showing first 100 items - show all)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Compositional analysis of C/C++ programs with veriSoft
- Model Checking Software
- Verification, Model Checking, and Abstract Interpretation
- Computer Aided Verification
- Computer Aided Verification
- Computer Aided Verification
- Inference of Event-Recording Automata Using Timed Decision Trees
- Title not available (Why is that?)
- Correct transformation: from object-based graph grammars to PROMELA
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- Fundamental Approaches to Software Engineering
- Tools and Algorithms for the Construction and Analysis of Systems
- CLPS-B
- CVPP
- jETI
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Cogent
- GeneSyst
- Zing
- Quasar
- DiVer
- veriSoft
- PiXL
- StEAM
- SyncGen
- ToolBus
- BLAST
- SLAM
- RAISE
- SPIN
- NuSMV
- AspectJ
- ISP
- PGAPack
- TASS_
- General Purpose Hash Function Library
- Bogor
- Limmat
- ADL
- Korat
- ComFoRT
- visualSTATE
- SymmSpin
- Title not available (Why is that?)
- Java PathFinder
- MAVEN
- PROMELA
- CESAR
- Bebop
- Eraser
- CheckVML
- CVC
- GROOVE
- Soot
- dSPIN
- JPAX
- CCured
- vUML
- MOPS
- TVLA
- HARE
- Nighthawk
- SPARK Pro
- InVeSt
- JPF-SE
- MDGs
- GDB
- MAGIC
- CodeSonar
- Klockwork
- VIP
- LCLint
- Charon
- BeJC
- CLIF
- Chianti
- FuncTion
- LTLAutomizer
- Ultimate
- KLEE-FP
- Zapato
- CIL
- JNuke
- CAESAR
- Software Model Checking: Searching for Computations in the Abstract or the Concrete
- ASM Workbench
- VIS
- Tools and Algorithms for the Construction and Analysis of Systems
- Concurrent software verification with states, events, and deadlocks
- Model Checking Software
- Automated compositional abstraction refinement for concurrent C programs: a two-level approach
- Title not available (Why is that?)
- An overview of the runtime verification tool Java PathExplorer
- TASS: the toolkit for accurate scientific software
- Java-MaC: A run-time assurance approach for Java programs
- Aspect Categories and Classes of Temporal Properties
This page was built for software: Bandera
