Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/b96393zbMath1126.68359OpenAlexW4299869287MaRDI QIDQ5308432

Mooly Sagiv, Greta Yorsh, Thomas W. Reps

Publication date: 28 September 2007

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

Full work available at URL: https://doi.org/10.1007/b96393

Mathematics Subject Classification ID

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

Related Items

Reflections on termination of linear loops, Deciding Boolean algebra with Presburger arithmetic, Abstract neural networks, An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures, View-Augmented Abstractions, Sound and Complete Abstract Graph Transformation

Uses Software

• SLAM