Design verification using logic tests.

Warren H. Debany Jr.Mark Gorniak Anthony R. Macera Kevin A. Kwiat Heather B. Dussault Daniel Daskiewich

Published in: RSP (1991)

Keyphrases

design process
design principles
genetic algorithm
software architecture
computer aided
engineering design
website
multi agent
logic programs
logic programming
design tools
formal verification