Login / Signup
CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification.
Sirine Rebai
Hatem Hadj Kacem
Mohamed Karaa
Saúl E. Pomares Hernández
Ahmed Hadj Kacem
Published in:
WETICE (2015)
Keyphrases
</>
formal verification
model checking
process algebra
symbolic model checking
model checker
automated verification
bounded model checking
program slicing
open source
temporal logic
description language
transition systems
linear temporal logic