User:Nicolas/Collections/ADVANCE D3.4 Model Checking: Difference between revisions

From Event-B
Jump to navigationJump to search
← Older editNewer edit →
imported>Sebastian
imported>Sebastian
Line 11: Line 11:
'''Theory Support'''
'''Theory Support'''


'''Physical Units'''




Revision as of 11:38, 15 October 2014

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

References

  1. ↑ http://www.stups.uni-duesseldorf.de/ProB
  2. ↑ http://jira.cobra.cs.uni-duesseldorf.de/
  3. ↑ http://www.stups.uni-duesseldorf.de/bmotionstudio
Retrieved from ‘https://wiki.event-b.org/index.php?title=User:Nicolas/Collections/ADVANCE_D3.4_Model_Checking&oldid=10917’