User:Nicolas/Collections/ADVANCE D3.4 Model Checking

From Event-B

Revision as of 11:36, 15 October 2014 by imported>Sebastian (→‎Motivations / Decisions)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Contents

1 Overview
2 Motivations / Decisions
3 Available Documentation
4 Conclusion
5 References

Overview

TODO

Motivations / Decisions

B to TLA+

LTL Fairness

BMotion Studio

Theory Support

TODO

Available Documentation

TODO

Conclusion

TODO

References

Retrieved from ‘https://wiki.event-b.org/index.php?title=User:Nicolas/Collections/ADVANCE_D3.4_Model_Checking&oldid=10915’

Navigation menu