Login / Signup
Generality in design and compositional verification using TAV.
Anders Børjesson
Kim Guldstrand Larsen
Arne Skou
Published in:
FORTE (1992)
Keyphrases
</>
design decisions
design process
case study
data sets
optimal design
design principles
model checking
knowledge based systems
user interface
evolutionary algorithm
database systems
building blocks
website
image processing
user experience
computer vision
real world
real time
design space
functional verification