Coverage of Implementations by Simulating Specifications.

Hana Chockler Orna Kupferman

Published in: IFIP TCS (2002)

Keyphrases

efficient implementation
feature selection
high level
delay insensitive
multiresolution
software implementation
data structure
formal specification
functional requirements
operational semantics
complete coverage
written in natural language