CafeOBJ as a Tool for Behavioral System Verification.

Akira Mori Kokichi Futatsugi

Published in: ISSS (2002)

Keyphrases

data structure
model checking
machine learning
database systems
search algorithm
social networks
expert systems
user friendly
human behavior
formal analysis
formal verification