Verifying incomplete and evolving specifications.

Published in: ICSE Companion (2014)

Keyphrases

formal specification
model checking
delay insensitive
uncertain information
image processing
missing data
missing values
operational semantics
incomplete knowledge
image segmentation
bayesian networks
incomplete data
asynchronous circuits
reactive systems
formal specification language