D23 ProB: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Leuschel New page: Improved Kernel to deal with large sets and relations Siemens application Multi-Level Animation and Validation Test-Case Generation Proof-Directed Model Checking |
imported>Leuschel No edit summary |
||
| Line 1: | Line 1: | ||
= Improved Kernel to deal with large sets and relations = | |||
Improved Kernel to deal with large sets and relations | |||
Siemens application | Siemens application | ||
Multi-Level Animation and Validation | = Multi-Level Animation and Validation = | ||
Test-Case Generation | = Test-Case Generation = | ||
Proof-Directed Model Checking | = Proof-Directed Model Checking = | ||
Revision as of 09:03, 25 November 2009
Improved Kernel to deal with large sets and relations
Siemens application
