Extending B with control flow breaks

DOI10.1007/3-540-44880-2_30MaRDI QIDQ4436990zbMATH OpenFDO

Authors Lilian Burdy, Antoine Requet

Publication date 4 December 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2651/26510513.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal specification with B
• The B-Book
• scientific article; zbMATH DE number 2172802
• Probabilistic termination in B
• Communicating B machines

Cited in

(1)

• Widening for Control-Flow

This page was built for publication: Extending B with control flow breaks

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