Visual animation of B specifications using executable DSLs.

Asfand Yar Akram Idani Yves Ledru Simon Collart Dutilleul

Published in: MoDELS (Companion) (2022)

Keyphrases

formal specification
attribute grammars
control flow
high level
visual features
visual information
visual perception
computer graphics
low level
visual effects
visual cues
visual representation
specification language
visual analysis
model checking
learning algorithm
image classification
case study
computer vision