'Model state based' presentation slideshows

ProB and XTL : Model checkers for B and DSSLs

ProB and XTL : Model checkers for B and DSSLs. Michael Leuschel University of Southampton. ProB: Why?. Animate a B-specification No need for user to guess parameters Verify a B-Specification Temporal & State-Based model checking Test-case generation & synchronise with implementation

313 views • 14 slides