High Level Model Checker Based Testing of Electronic Contracts.

Ellis Solaiman Ioannis Sfyrakis Carlos Molina-Jiménez

Published in: CLOSER (Selected Papers) (2015)

Keyphrases

model checker
formal verification
high level
test suite
model checking
formal methods
description language
test cases
temporal logic
symbolic model checking
formal specification
ai planning
set theory
genetic algorithm
machine learning
source code
domain specific
programming language