Difference between pages "Tasklist for EventB meta model development" and "User:Nicolas/Collections/ADVANCE D3.4 Model Checking"
imported>Mathieu |
imported>Ladenberger |
||
| Line 1: | Line 1: | ||
| − | + | == Overview == | |
| − | + | {{TODO}} | |
| − | + | ||
| − | + | == Motivations / Decisions == | |
| − | + | '''B to TLA+''' | |
| − | + | ||
| − | + | '''LTL Fairness''' | |
| − | + | ||
| − | + | '''Theory Support''' | |
| − | + | ||
| − | + | '''Physical Units''' | |
| − | + | ||
| − | + | The physical units analysis has been further stabilised, several reported bugs have been fixed. | |
| − | + | Support for physical units has been extended to theories along with the general theory-related improvements of ProB mentioned in the previous paragraph. | |
| − | + | The plug-in was ported to Rodin 3, all bugfixes and changes could be back ported to Rodin 2 successfully. | |
| − | + | ||
| − | + | Further extension to the unit analysis include: | |
| − | + | * Support for the analysis of units throughout refinement relations. | |
| − | + | * Support for abstract units like "length" that can later be concretised to standard SI units. | |
| − | + | ||
| − | + | {{TODO}} | |
| − | + | ||
| − | + | == Available Documentation == | |
| − | + | ||
| − | + | '''ProB'''<br> | |
| − | + | The ProB Website<ref>http://www.stups.uni-duesseldorf.de/ProB</ref> 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<ref>http://jira.cobra.cs.uni-duesseldorf.de/</ref> to document known bugs, workarounds and feature requests. | |
| − | + | ||
| − | + | {{TODO}} | |
| − | + | ||
| − | + | == Conclusion == | |
| − | + | {{TODO}} | |
| − | + | ||
| − | + | == References == | |
| − | + | <references/> | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
Revision as of 13:03, 15 October 2014
Overview
TODO
Motivations / Decisions
B to TLA+
LTL Fairness
Theory Support
Physical Units
The physical units analysis has been further stabilised, several reported bugs have been fixed. Support for physical units has been extended to theories along with the general theory-related improvements of ProB mentioned in the previous paragraph. The plug-in was ported to Rodin 3, all bugfixes and changes could be back ported to Rodin 2 successfully.
Further extension to the unit analysis include:
- Support for the analysis of units throughout refinement relations.
- Support for abstract units like "length" that can later be concretised to standard SI 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.
TODO
Conclusion
TODO
