Checking Consistency of SDL+MSC Specifications.

Deepak D'Souza Madhavan Mukund

Published in: SPIN (2003)

Keyphrases

consistency checking
information systems
formal specification
global constraints
neural network
path consistency
concept descriptions
reactive systems
real time
case study
model checking
constraint networks
specification language
global consistency
temporal consistency