Difference between revisions of "User:Nicolas/Collections/ADVANCE D3.4 Model Checking"
From Event-B
Jump to navigationJump to searchimported>Nicolas (Created page with "== Overview == {{TODO}} == Motivations / Decisions == {{TODO}} == Available Documentation == {{TODO}} == Conclusion == {{TODO}} == References == <references/>") |
imported>Sebastian |
||
Line 3: | Line 3: | ||
== Motivations / Decisions == | == Motivations / Decisions == | ||
+ | '''B to TLA+''' | ||
+ | |||
+ | '''LTL Fairness''' | ||
+ | |||
+ | '''BMotion Studio''' | ||
+ | |||
+ | '''Theory Support''' | ||
+ | |||
+ | |||
+ | |||
{{TODO}} | {{TODO}} | ||
Revision as of 11:36, 15 October 2014
Overview
TODO
Motivations / Decisions
B to TLA+
LTL Fairness
BMotion Studio
Theory Support
TODO
Available Documentation
TODO
Conclusion
TODO