Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more
Plagge, Daniel, Leuschel, Michael
Published in International journal on software tools for technology transfer (01.02.2010)
Published in International journal on software tools for technology transfer (01.02.2010)
Get full text
Journal Article
Conference Proceeding
Validation of formal models by refinement animation
Hallerstede, Stefan, Leuschel, Michael, Plagge, Daniel
Published in Science of computer programming (01.03.2013)
Published in Science of computer programming (01.03.2013)
Get full text
Journal Article
Automated property verification for large scale B models with ProB
Leuschel, Michael, Falampin, Jérôme, Fritz, Fabian, Plagge, Daniel
Published in Formal aspects of computing (01.11.2011)
Published in Formal aspects of computing (01.11.2011)
Get full text
Journal Article