Incremental System Modelling in Event-B

DOI10.1007/978-3-642-04167-9_8zbMath1254.68077OpenAlexW2166549990MaRDI QIDQ3638993

Stefan Hallerstede

Publication date: 28 October 2009

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04167-9_8

Mathematics Subject Classification ID

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

Related Items (1)

Experiments in program verification using Event-B

Uses Software

• Rodin
• ProB
• CalcCheck

Cites Work

• On the shape of mathematical arguments
• On the Purpose of Event-B Proof Obligations
• Developing Topology Discovery in Event-B
• The B-Book
• Abstract State Machines
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Incremental System Modelling in Event-B