On Model Checker Based Testing of Electronic Contracting Systems.

Abubkr Abdelsadiq Carlos Molina-Jiménez Santosh K. Shrivastava

Published in: CEC (2010)

Keyphrases

formal methods
model checker
model checking
distributed systems
expert systems
formal verification
formal specification
multi agent systems
evolutionary algorithm
general purpose
computational intelligence
temporal logic