Verifying Behavioural Specifications in CafeOBJ Environment.

Akira Mori Kokichi Futatsugi

Published in: World Congress on Formal Methods (1999)

Keyphrases

real time
neural network
model checking
high level
mobile robot
environmental conditions
programming environment
reactive systems
database
social networks
decision trees
data structure
mobile devices
vision system
virtual world
functional requirements