scientific article; zbMATH DE number 1744961
From MaRDI portal
Publication:4531754
zbMath0985.68641MaRDI QIDQ4531754
Thomas Ball, Sriram K. Rajamani
Publication date: 23 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2057/20570103
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (22)
Verification of SpecC using predicate abstraction ⋮ Formal verification of C systems code. Structured types, separation logic and theorem proving ⋮ Program verification with interacting analysis plugins ⋮ Highly dependable concurrent programming using design for verification ⋮ LCTD: test-guided proofs for C programs on LLVM ⋮ An abstract interpretation toolkit for \(\mu\)CRL ⋮ Finding and fixing faults ⋮ New Challenges in Model Checking ⋮ Splitting the Control Flow with Boolean Flags ⋮ Verification of multi-linked heaps ⋮ Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning ⋮ Verifying Multithreaded Recursive Programs with Integer Variables ⋮ Tutorial on Model Checking: Modelling and Verification in Computer Science ⋮ Implementation and analysis of real-time communication protocol compositions ⋮ Extending Model Checking with Dynamic Analysis ⋮ Translating Xd-C programs to MSVL programs ⋮ View-Augmented Abstractions ⋮ Could We Have Chosen a Better Loop Invariant or Method Contract? ⋮ Falsifying Safety Properties Through Games on Over-approximating Models ⋮ Integration of verification methods for program systems ⋮ Syntax-directed model checking of sequential programs ⋮ Specification and verification of concurrent programs through refinements
Uses Software
This page was built for publication:
