Login / Signup
Formal verification methods: getting around the brick wall.
David L. Dill
Nate James
Shishpal Rawat
Gérard Berry
Limor Fix
Harry Foster
Rajeev K. Ranjan
Gunnar Stålmarck
Curt Widdoes
Published in:
DAC (2002)
Keyphrases
</>
formal verification
qualitative and quantitative
data sets
artificial intelligence
significant improvement
classification method
data mining
genetic algorithm
multi agent systems
preprocessing
empirical studies
machine learning algorithms
model checking