Effectiveness and Cost of Verification Techniques: Preliminary Conclusions on Five Techniques.

Diego Vallespir Juliana Herbert

Published in: ENC (2009)

Keyphrases

model checking
high cost
database
web services
evolutionary algorithm
temporal logic
empirical data
expected cost
minimal cost