2060 search results - page 6 / 412 » The Composition of Event-B Models |
81
Voted
SBMF
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
88
Voted
ASM
2008
ASM
15 years 28 days ago
2008
ASM
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed an...
100
Voted
ASM
2010
ASM
15 years 5 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
109
Voted
ASM
2010
ASM
15 years 2 months ago
2010
ASM
We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...
63
Voted
FAC
2008
14 years 11 months ago
2008
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...