2004
Software
Unknown
WCS - Witness and Counterexample Server - online tool [Release 1.0 , 03 December 2004]
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:373825,
title = {WCS - Witness and Counterexample Server - online tool [Release 1.0 , 03 December 2004]},
author = {Trentanni G. and Meolic R.},
year = {2004}
}CNR authorsLaboratories
0000-0002-6727-5266