Tamagotchis Need Not Die - Verification of STATEMENT Design.

Udo Brockmeyer Gunnar Wittich

Published in: TACAS (1998)

Keyphrases

design process
engineering design
databases
machine learning
computer aided
functional verification
data sets
artificial intelligence
computer vision
database systems
user interface
building blocks
model checking
software architecture
formal methods
design space