Sign in
Trio2Promela: A Model Checker for Temporal Metric Specifications.
Domenico Bianculli
Angelo Morzenti
Matteo Pradella
Pierluigi San Pietro
Paola Spoletini
Published in:
ICSE Companion (2007)
Keyphrases
</>
model checker
model checking
formal verification
formal methods
temporal logic
description language
formal specification
test suite
specification language
set theory
symbolic model checking
transition systems
ai planning
epistemic logic
planning domains
first order logic
data mining
reactive systems