Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework.

Zhifeng Lai S. C. Cheung Yunfei Jiang

Published in: QSIC (2006)

Keyphrases

dynamic model
model checking
genetic algorithm
temporal logic
automated verification
experimental data
symbolic model checking
timed automata
artifact centric
concurrent systems
computation tree logic
domain independent
formal specification
adaptive control
temporal properties
linear temporal logic