Incremental system verification and synthesis of minimally restrictive behaviours.

Bertil A. Brandin Robi Malik Petra Dietrich

Published in: ACC (2000)

Keyphrases

model checking
formal verification
program synthesis
incremental clustering
incremental learning
information retrieval
case study
data structure
temporal logic
formal analysis
verification method
database
evolutionary algorithm
logic programs
formal methods
concurrent systems