iFM2020 - Fast and Effective WD Checking - v2

Article for iFM 2020 conference - Michael Leuschel
4,949
Uploaded by mileu001 at 11/4/2020 - recorded at 11/4/2020
QR-Code

Speaker:

Michael Leuschel

Description:

Fast and effective well-definedness checking for formal models using a new POG and prover in ProB

Category:

Events

Tags:

  • No tags provided

License:

CC BY 3.0 DE

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.

Chapters:

Download:

  • mp4-Version - hohe Qualität with dimensions 1280 x 720 pixels
  • webm-Version - hohe Qualität with dimensions 1280 x 720 pixels
  • mp4-Version - mittlere Qualität with dimensions 854 x 480 pixels
  • webm-Version - mittlere Qualität with dimensions 854 x 480 pixels
  • mp4-Version - niedrige Qualität with dimensions 640 x 360 pixels
  • webm-Version - niedrige Qualität with dimensions 640 x 360 pixels