Proving VLRL Action Properties with the Maude Model Checker.

Miguel Palomino Isabel Pita

Published in: WRLA (2004)

Keyphrases

model checker
formal specification
model checking
temporal logic
formal verification
transition systems
image analysis
general purpose
description language
formal methods
symbolic model checking
evolutionary algorithm
machine learning
artificial intelligence