Abstract | ||
---|---|---|
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-87603-8_35 | ABZ |
Keywords | Field | DocType |
rodin toolset,formal method,system-level modelling,set theory,key feature,different abstraction level,refinement level,modelling notation,mathematical proof | Set theory,Notation,Programming language,Abstraction,Systems engineering,Computer science,B-Method,Mathematical proof,Refinement,Formal methods | Conference |
Volume | ISSN | Citations |
5238 | 0302-9743 | 5 |
PageRank | References | Authors |
0.54 | 1 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jean-raymond Abrial | 1 | 1275 | 167.86 |
Michael Butler | 2 | 1768 | 104.74 |
Stefan Hallerstede | 3 | 654 | 44.88 |
Laurent Voisin | 4 | 415 | 21.72 |