Static Analysis

DOI10.1007/11547662zbMath1141.68367OpenAlexW4229853237MaRDI QIDQ5897432

Pierre Ganty, Stefan Schwoon, Javier Esparza

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

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems

This page was built for publication: Static Analysis