Rodin: an open toolset for modelling and reasoning in Event-B

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....

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	International journal on software tools for technology transfer Ročník 12; číslo 6; s. 447 - 466
Hlavní autori:	Abrial, Jean-Raymond, Butler, Michael, Hallerstede, Stefan, Hoang, Thai Son, Mehta, Farhad, Voisin, Laurent
Médium:	Journal Article Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	Berlin/Heidelberg Springer-Verlag 01.11.2010 Springer Springer Nature B.V
Predmet:	Applied sciences Computer programs Computer Science Computer science; control theory; systems Computer simulation Consistency Exact sciences and technology Formal method Logic and foundations Mathematical analysis Mathematical logic, foundations, set theory Mathematical models Mathematics Modelling Programming languages Proof theory and constructive mathematics Proving Sciences and techniques of general use Software Software Engineering Software Engineering/Programming and Operating Systems Technology transfer Theory of Computation Vstte 2008 Refinement Verification Event-B Tool support Abstract machine Formal method Refinement method Abstraction Modeling Software tool Programming language Theorem proving Set theory Proof theory
ISSN:	1433-2779, 1433-2787
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!