Generality in Design and Compositional Verification Using TAV.

Anders Børjesson Kim Guldstrand Larsen Arne Skou

Published in: Formal Methods Syst. Des. (1995)

Keyphrases

case study
computer aided
user interface
knowledge based systems
design process
data sets
information systems
three dimensional
evolutionary algorithm
multiresolution
probabilistic model
petri net
design principles
formal methods
design space
formal verification