Michael Leuschel
Fast and effective well-definedness checking for formal models using a new POG and prover in ProB
Events
If not referenced otherwise this video "iFM2020 - Fast and Effective WD Checking - v2" is licensed under a Creative Commons Attribution 3.0 Germany License, HHU/Michael Leuschel.