Static Analysis

DOI10.1007/11547662zbMath1141.68366OpenAlexW4229853237MaRDI QIDQ5897431

Aleksandar S. Dimovski, Ranko Lazić, Dan R. Ghica

Publication date: 31 October 2006

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

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

Verifying annotated program families using symbolic game semantics ⋮ Unnamed Item ⋮ Program verification using symbolic game semantics ⋮ Compositional Predicate Abstraction from Game Semantics ⋮ On-the-Fly Techniques for Game-Based Software Model Checking ⋮ Dynamic game semantics ⋮ A game-semantic model of computation ⋮ Definability and Full Abstraction

Uses Software

• BLAST
• SLAM
• HOMER

This page was built for publication: Static Analysis