Checking conformance for time-constrained scenario-based specifications.

S. Akshay Paul Gastin Madhavan Mukund K. Narayan Kumar

Published in: Theor. Comput. Sci. (2015)

Keyphrases

protocol specification
formal specification
high level
functional requirements
delay insensitive
finite state machines
specification language
database
data sets
artificial intelligence
information systems
data model
consistency checking
long running