SEQ.OPEN

We report about recent enhancements of the CADP verification tool set that allow to check the correctness of event traces obtained by simulating or executing complex, industrial-size systems. Correctness properties are expressed using either regular expressions or modal $\mu $-calculus formulas, and verified efficiently on very large traces.

References in zbMATH (referenced in 1 article , 1 standard article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Garavel, Hubert; Mateescu, Radu: SEQ.OPEN: A tool for efficient trace-based verification (2004)


Further publications can be found at: http://cadp.inria.fr/vasy/publications/cadp.html