User:Nicolas/Collections/ADVANCE D3.4 Model Checking
From Event-B
< User:Nicolas
Jump to navigationJump to searchRevision as of 11:38, 15 October 2014 by imported>Sebastian (→Motivations / Decisions)
Overview
TODO
Motivations / Decisions
B to TLA+
LTL Fairness
BMotion Studio
Theory Support
Physical Units
TODO
Available Documentation
ProB
The ProB Website[1] is the place where we collect information on the ProB toolset. There are several tutorials on ProB available in the User manual section. We also supply documentation on extending ProB for developers.
In addition we run a bug tracking system[2] to document known bugs, workarounds and feature requests.
BMotion Studio
A developer-, user documentation, tutorial and examples are available from a dedicated webpage[3] hosted by the University of Duesseldorf.
TODO
Conclusion
TODO