A Tool for Verifying Dynamic Properties in B.

Fama Diagne Amel Mammar Marc Frappier

Published in: SEFM (2014)

Keyphrases

computer vision
dynamic environments
desirable properties
software tools
dynamically changing
real world
information systems
case study
three dimensional
wide range
data streams
knowledge acquisition
structural properties
highly dynamic
analysis tool