Checking JML Specifications with B Machines.

Fabrice Bouquet Frédéric Dadeau Julien Groslambert

Published in: ZB (2005)

Keyphrases

high level
scheduling problem
learning machines
consistency checking
real world
data mining
artificial intelligence
image sequences
computational complexity
support vector machine
parallel machines
operational semantics