Computer Science Logic

DOI10.1007/B13224zbMATH Open1116.68492OpenAlexW2623947920MaRDI QIDQ5292626

Ahmed Bouajjani

Publication date: 21 June 2007

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (7)

Generalization strategies for the verification of infinite state systems ⋮ Formal Verification of Infinite-State BIP Models ⋮ Formally verified algorithms for upper-bounding state space diameters ⋮ Title not available (Why is that?) ⋮ Proceedings 14th International Workshop on Verification of Infinite-State Systems ⋮ Title not available (Why is that?) ⋮ Verification of infinite state systems, Infinity '97. Selected papers from the 2nd international workshop, Bologna, Italy, July 11--12, 1997

This page was built for publication: Computer Science Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5292626)