Login / Signup
Run-Time Consistency Checking of Algebraic Specifications.
Sriram Sankar
Published in:
Symposium on Testing, Analysis, and Verification (1991)
Keyphrases
</>
consistency checking
stochastic search
query answering
temporal constraints
temporal reasoning
constraint satisfaction problems
delay insensitive
three dimensional
integrity constraints
arc consistency
formal specification
specification language
path consistency