A Technique to Check the Implementability of Behavioral Specifications with Frameworks.

Teruyoshi Zenmyo Takashi Kobayashi Motoshi Saeki

Published in: APSEC (2008)

Keyphrases

delay insensitive
formal specification
bounded model checking
concurrent systems
reactive systems
control flow
functional requirements
human behavior
metadata
information systems
artificial intelligence
finite state machines
multi agent
human decision making
behavioral model
machine learning
data mining