scientific article; zbMATH DE number 1956555
From MaRDI portal
Publication:4417895
zbMath1032.68062MaRDI QIDQ4417895
Reinhard Wilhelm, Eran Yahav, Mooly Sagiv, Thomas W. Reps
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2618/26180204.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
Model checking dynamic memory allocation in operating systems ⋮ Separation logics and modalities: a survey ⋮ Reasoning about sequences of memory states ⋮ Programs with lists are counter automata ⋮ The Spotlight Principle ⋮ A relational shape abstract domain
This page was built for publication:
