Difference between revisions of "D23 ProB"
From Event-B
Jump to navigationJump to searchimported>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 |
||
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
Contents
Improved Kernel to deal with large sets and relations
Siemens application