scientific article; zbMATH DE number 1982201

zbMath1023.68531MaRDI QIDQ4426376

Willem Visser, Alex Groce

Publication date: 16 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2648/26480121.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

Minimal Proof Search for Modal Logic K Model Checking ⋮ Counterexample classification ⋮ Finding and fixing faults ⋮ Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances ⋮ Operational causality -- necessarily sufficient and sufficiently necessary ⋮ Extending Model Checking with Dynamic Analysis ⋮ Program repair without regret ⋮ More efficient on-the-fly LTL verification with Tarjan's algorithm

This page was built for publication: