scientific article; zbMATH DE number 1956607
From MaRDI portal
Publication:4417955
zbMath1031.68519MaRDI QIDQ4417955
Willem Visser, Sarfraz Khurshid, Corina S. Păsăreanu
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190553.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (16)
Loop Invariant Symbolic Execution for Parallel Programs ⋮ Combining Model Checking and Testing ⋮ Symbolic execution of Reo circuits using constraint automata ⋮ TASS: the toolkit for accurate scientific software ⋮ A dynamic logic for deductive verification of multi-threaded programs ⋮ Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation ⋮ Symbolic execution based on language transformation ⋮ The dependence condition graph: precise conditions for dependence between program points ⋮ CPBPV: a constraint-programming framework for bounded program verification ⋮ Combining test case generation and runtime verification ⋮ A local approach for temporal model checking of Java bytecode ⋮ Concolic testing heap-manipulating programs ⋮ Collective Assertions ⋮ Efficient bounded model checking of heap-manipulating programs using tight field bounds ⋮ Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework ⋮ Verifying time partitioning in the DEOS scheduling kernel
Uses Software
This page was built for publication:
