swMATH1489MaRDI QIDQ14223FDOQ14223
Author name not available (Why is that?)
Official website: http://cm.bell-labs.com/who/god/verisoft/
Cited In (only showing first 100 items - show all)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Model checking concurrent programs
- Effective Program Verification for Relaxed Memory Models
- A formally verified compiler back-end
- HOL-Boogie -- an interactive prover-backend for the verifying C compiler
- Model Checking Software
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Aided Verification
- Computer Aided Verification
- Computer Aided Verification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Symbolic predictive analysis for concurrent programs
- Title not available (Why is that?)
- Complexity reduction in MPC for stochastic max-plus-linear discrete event systems by variability expansion
- Global reproducibility through local control for distributed active objects
- Title not available (Why is that?)
- Tools and Algorithms for the Construction and Analysis of Systems
- Title not available (Why is that?)
- APS-1
- Helena
- ISP
- General Purpose Hash Function Library
- Bogor
- ADL
- DART
- Korat
- PathCrawler
- Rostra
- visualSTATE
- Certifying low-level programs with hardware interrupts and preemptive threads
- Bandera
- ACL2s
- Java PathFinder
- KRATOS
- SystemC
- CESAR
- Atomizer
- Bebop
- APS
- Eraser
- STMBench7
- ConTest
- Lee-TM
- cminor
- dSPIN
- Checkfence
- JPAX
- CCured
- vUML
- SingleTrack
- Pinapa
- Specomp
- WormBench
- MOPS
- TVLA
- JPF-SE
- Specware
- DPF
- GDB
- MODIST
- ALPBench
- LusSy
- CodeSurfer
- Partial order reduction for rewriting semantics of programming languages
- monabs
- Angelic Verification
- Syco
- Kit
- Guava
- AVIO
- CHESS
- PROMETHEUS
- Zapato
- CIL
- Piton
- TAME
- tm_db
- WPDS++
- TALx86
- Software Model Checking: Searching for Computations in the Abstract or the Concrete
- CauDEr
- blktrace
- Con2colic
- Operating system verification---an overview
- Extensible transactional memory testbed
- On the correctness of upper layers of automotive systems
- Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
- Mechanized semantics for the clight subset of the C language
- Model Checking Software
- Proving fairness and implementation correctness of a microkernel scheduler
- Computer Aided Verification
- Static analysis for state-space reductions preserving temporal logics
- Model checking database applications
- An overview of the runtime verification tool Java PathExplorer
- Validation of Stochastic Systems
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
- Syntax-directed model checking of sequential programs
- Delay-bounded scheduling without delay!
This page was built for software: veriSoft