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

2010International Journal on Software Tools for Technology Transfer引用 670
DOI
Formal Methods in VerificationLogic, programming, and type systemsDistributed systems and fault tolerance
Logic, programming, and type systemsDistributed systems and fault toleranceFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

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

L

Laurent Voisin

F

Farhad Mehta

T

Thai Son Hoang

S

Stefan Hallerstede

M

Michael Butler

J

Jean-Raymond Abrial