Verification, Model Checking, and Abstract Interpretation
From MaRDI portal
Publication:5898625
DOI10.1007/11609773zbMath1176.68135OpenAlexW2496613029MaRDI QIDQ5898625
Kohei Suenaga, Naoki Kobayashi, Lucian Wischik
Publication date: 12 February 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11609773
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
Spatial and behavioral types in the pi-calculus ⋮ A type system for counting instances of software components ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ A calculus for modeling floating authorizations