veriSoft
From MaRDI portal
VeriSoft
Cited in
(only showing first 100 items - show all)- On the correctness of upper layers of automotive systems
- Operating system verification---an overview
- Proving the correctness of client/server software
- Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
- Synchrobench
- Zing
- APS-1
- Quasar
- Symstra
- POOC
- StEAM
- SyncGen
- TVOC
- VLISP
- BLAST
- SLAM
- PROD
- SPIN
- Helena
- Wireless protocol validation under uncertainty
- Stateless model checking for TSO and PSO
- ISP
- General Purpose Hash Function Library
- Syntax-directed model checking of sequential programs
- An overview of the runtime verification tool Java PathExplorer
- Static analysis for state-space reductions preserving temporal logics
- Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
- Bogor
- PathCrawler
- ADL
- Korat
- DART
- Rostra
- visualSTATE
- Java PathFinder
- Bandera
- ACL2s
- SystemC
- KRATOS
- Quasi-optimal partial order reduction
- CESAR
- STMBench7
- Eraser
- Atomizer
- Bebop
- APS
- vUML
- Lee-TM
- Specomp
- WormBench
- ConTest
- cminor
- TVLA
- SingleTrack
- dSPIN
- JPAX
- Checkfence
- Pinapa
- CCured
- MOPS
- Specware
- JPF-SE
- An automatic method for the dynamic construction of abstractions of states of a formal model
- Complexity reduction in MPC for stochastic max-plus-linear discrete event systems by variability expansion
- DPF
- Rule-based static analysis of network protocol implementations
- GDB
- MODIST
- A compositional behavioral modeling framework for embedded system design and conformance checking
- ALPBench
- Multithreaded testing of program interfaces
- Mechanized semantics for the clight subset of the C language
- A formally verified compiler back-end
- HOL-Boogie -- an interactive prover-backend for the verifying C compiler
- LusSy
- scientific article; zbMATH DE number 1670563 (Why is no real title available?)
- CodeSurfer
- Distributed verification of multi-threaded C++ programs
- Partial order reduction for rewriting semantics of programming languages
- Software model checking with explicit scheduler and symbolic threads
- Boosting Lazy Abstraction for SystemC with Partial Order Reduction
- monabs
- scientific article; zbMATH DE number 5850137 (Why is no real title available?)
- Model checking concurrent programs
- Combining model checking and testing
- Syco
- Angelic Verification
- Kit
- Guava
- CHESS
- AVIO
- Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction
- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
- Effective Program Verification for Relaxed Memory Models
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
- PROMETHEUS
- Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
- Dynamic Path Reduction for Software Model Checking
- State Space Reduction of Rewrite Theories Using Invisible Transitions
- Zapato
This page was built for software: veriSoft
