A Proved PNML Designer powered by Meeduse and ProB
HOME VIDEOS
Page under development (last update 04 Jan 2021)

By: Akram Idani
akram.idani@univ-grenoble-alpes.fr

Videos

Video 1: Execution Semantics

Video 2: LTL Verification

coming soon

Video 3: Code Generation

coming soon

Formal Specifications