Abstract state machines, Alloy, B, TLA, VDM, and Z. 4th international conference, ABZ 2014, Toulouse, France, June 2--6, 2014. Proceedings

DOI10.1007/978-3-662-43652-3MaRDI QIDQ2452328zbMATH OpenOpenAlexFDO

Authors

Publication date 2 June 2014

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

Full work available at URL https://doi.org/10.1007/978-3-662-43652-3

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(7)

• An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation
• Automated proof of Bell-LaPadula security properties
• Automated reasoning with restricted intensional sets
• Cogent: uniqueness types and certifying compilation
• Refining autonomous agents with declarative beliefs and desires
• Special issue: Selected papers based on the presentations at the first international conference on abstract state machines, B and Z (ABZ 2008), London, UK, September 16--18, 2008
• A correct-by-construction approach for development of reliable planning problems

This page was built for publication: Abstract state machines, Alloy, B, TLA, VDM, and Z. 4th international conference, ABZ 2014, Toulouse, France, June 2--6, 2014. Proceedings

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