2007
Software
Metadata Only Access
WCS - Witness and Counterexample Server - online tool [Release 2.5 , 01 January 2007]
Trentanni G, Meolic R
Automatic verification Temporal logic Model checking Binary decision diagrams Counterexamples
Witness and counterexample automata (WCA) are automata that recognize the set of finite linear witnesses and counterexamples, respectively. ACTL is an action-based CTL. Program takes the model (subset of standard CCS) and the set of ACTL formulae on the input and produces a textual representation of a corresponding WCA.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:373824,
title = {WCS - Witness and Counterexample Server - online tool [Release 2.5 , 01 January 2007]},
author = {Trentanni G and Meolic R},
year = {2007}
}CNR authorsLaboratories
0000-0002-6727-5266