JML2B: Checking JML Specifications with B Machines.

Fabrice Bouquet Frédéric Dadeau Julien Groslambert

Published in: B (2007)

Keyphrases

artificial intelligence
image processing
three dimensional
real time
real world
decision making
high level
flowshop
formal specification