A Design Phase Directed Formal Verification Process.

John A. Keane Walter Hussak

Published in: Softw. Qual. J. (1999)

Keyphrases

formal verification
model checking
model checker
information retrieval
genetic algorithm
learning algorithm
programming language
domain specific