Assertion Checking Unified

DOI10.1007/978-3-540-69738-1_26zbMath1132.68470OpenAlexW2126579174MaRDI QIDQ5452620

Sumit Gulwani, Ashish Kumar Tiwari

Publication date: 4 April 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69738-1_26

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Combining Model Checking and Data-Flow Analysis ⋮ Modular inference of subprogram contracts for safety checking ⋮ What’s Decidable About Program Verification Modulo Axioms? ⋮ Invariant Checking for Programs with Procedure Calls ⋮ Context unification with one context variable

This page was built for publication: Assertion Checking Unified