The following pages link to veriSoft (Q14223):
Displaying 50 items.
- Symbolic predictive analysis for concurrent programs (Q432146) (← links)
- Extensible transactional memory testbed (Q666242) (← links)
- Verifying time partitioning in the DEOS scheduling kernel (Q816194) (← links)
- Translating Java for multiple model checkers: The Bandera back-end (Q816196) (← links)
- Stateless model checking under a reads-value-from equivalence (Q832184) (← links)
- Delay-bounded scheduling without delay! (Q832185) (← links)
- Certifying low-level programs with hardware interrupts and preemptive threads (Q835764) (← links)
- Proving fairness and implementation correctness of a microkernel scheduler (Q835766) (← links)
- Formal memory models for the verification of low-level operating-system code (Q835773) (← links)
- Balancing the load. Leveraging a semantics stack for systems verification (Q835780) (← links)
- Model checking dynamic memory allocation in operating systems (Q835783) (← links)
- Optimistic synchronization-based state-space reduction (Q853724) (← links)
- A novel analysis space for pointer analysis and its application for bug finding (Q988180) (← links)
- On the correctness of upper layers of automotive systems (Q1019015) (← links)
- Operating system verification---an overview (Q1040002) (← links)
- Proving the correctness of client/server software (Q1040009) (← links)
- Full simulation coverage for SystemC transaction-level models of systems-on-a-chip (Q1041294) (← links)
- Wireless protocol validation under uncertainty (Q1667647) (← links)
- Stateless model checking for TSO and PSO (Q1683934) (← links)
- Syntax-directed model checking of sequential programs (Q1858441) (← links)
- An overview of the runtime verification tool Java PathExplorer (Q1878923) (← links)
- Static analysis for state-space reductions preserving temporal logics (Q1878929) (← links)
- Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs (Q1888204) (← links)
- Quasi-optimal partial order reduction (Q2050101) (← links)
- An automatic method for the dynamic construction of abstractions of states of a formal model (Q2452756) (← links)
- Complexity reduction in MPC for stochastic max-plus-linear discrete event systems by variability expansion (Q2475464) (← links)
- Rule-based static analysis of network protocol implementations (Q2482438) (← links)
- A compositional behavioral modeling framework for embedded system design and conformance checking (Q2506261) (← links)
- Multithreaded testing of program interfaces (Q2654998) (← links)
- Mechanized semantics for the clight subset of the C language (Q2655325) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- HOL-Boogie -- an interactive prover-backend for the verifying C compiler (Q2655335) (← links)
- (Q2753764) (← links)
- Distributed Verification of Multi-threaded C++ Programs (Q2866324) (← links)
- Partial Order Reduction for Rewriting Semantics of Programming Languages (Q2873775) (← links)
- Software Model Checking with Explicit Scheduler and Symbolic Threads (Q2904614) (← links)
- Boosting Lazy Abstraction for SystemC with Partial Order Reduction (Q3000665) (← links)
- (Q3075241) (← links)
- Model Checking Concurrent Programs (Q3176376) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction (Q3510827) (← links)
- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings (Q3512483) (← links)
- Effective Program Verification for Relaxed Memory Models (Q3512487) (← links)
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions (Q3540069) (← links)
- Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs (Q3591386) (← links)
- Dynamic Path Reduction for Software Model Checking (Q3605478) (← links)
- State Space Reduction of Rewrite Theories Using Invisible Transitions (Q3623931) (← links)
- (Q4417955) (← links)
- (Q4472244) (← links)
- (Q4473027) (← links)
