Cited in
(only showing first 100 items - show all)- scientific article; zbMATH DE number 1629952 (Why is no real title available?)
- scientific article; zbMATH DE number 1744960 (Why is no real title available?)
- Syntax-directed model checking of sequential programs
- Efficient SAT-based bounded model checking for software verification
- scientific article; zbMATH DE number 2080036 (Why is no real title available?)
- scientific article; zbMATH DE number 1863177 (Why is no real title available?)
- scientific article; zbMATH DE number 1903350 (Why is no real title available?)
- Model Checking Software
- Compositional analysis of C/C++ programs with veriSoft
- Space-reduction strategies for model checking dynamic software
- Slicing techniques for verification re-use
- scientific article; zbMATH DE number 1860624 (Why is no real title available?)
- Model checking dynamic memory allocation in operating systems
- scientific article; zbMATH DE number 1953015 (Why is no real title available?)
- Model Checking Software
- scientific article; zbMATH DE number 2085314 (Why is no real title available?)
- Verification, Model Checking, and Abstract Interpretation
- Computer Aided Verification
- scientific article; zbMATH DE number 1860613 (Why is no real title available?)
- Programming Languages and Systems
- scientific article; zbMATH DE number 1973988 (Why is no real title available?)
- scientific article; zbMATH DE number 1948409 (Why is no real title available?)
- Computer Aided Verification
- Computer Aided Verification
- LCF-style Platform based on Multiway Decision Graphs
- Inference of Event-Recording Automata Using Timed Decision Trees
- scientific article; zbMATH DE number 1956607 (Why is no real title available?)
- scientific article; zbMATH DE number 1701764 (Why is no real title available?)
- Model Checking Quantified Computation Tree Logic
- Fairness modulo theory: a new approach to LTL software model checking
- Correct transformation: from object-based graph grammars to PROMELA
- scientific article; zbMATH DE number 1948399 (Why is no real title available?)
- scientific article; zbMATH DE number 2080047 (Why is no real title available?)
- Formal verification for C program
- scientific article; zbMATH DE number 1956582 (Why is no real title available?)
- scientific article; zbMATH DE number 1670556 (Why is no real title available?)
- Efficient verification of sequential and concurrent C programs
- scientific article; zbMATH DE number 1701757 (Why is no real title available?)
- scientific article; zbMATH DE number 1863159 (Why is no real title available?)
- Highly dependable concurrent programming using design for verification
- scientific article; zbMATH DE number 2080045 (Why is no real title available?)
- Observations in using parallel and sequential evolutionary algorithms for automatic software testing
- MAVEN: Modular aspect verification and interference analysis
- Combining model checking and testing
- scientific article; zbMATH DE number 2146563 (Why is no real title available?)
- A local approach for temporal model checking of Java bytecode
- scientific article; zbMATH DE number 1693529 (Why is no real title available?)
- A general framework for types in graph rewriting
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
- Counterexample-guided predicate abstraction of hybrid systems
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Application of static analyses for state-space reduction to the microcontroller binary code
- Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving
- CLPS-B
- CVPP
- jETI
- 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
- Java PathFinder
- MAVEN
- PROMELA
- CESAR
- Bebop
- Eraser
- CheckVML
- CVC
- GROOVE
- Soot
- dSPIN
- JPAX
- CCured
- vUML
- MOPS
- TVLA
- HARE
This page was built for software: Bandera
