Online Monitoring of Properties Built on Regular Expressions Sequences

[1]  Zeljko Zilic,et al.  Incorporating efficient assertion checkers into hardware emulation , 2005, 2005 International Conference on Computer Design.

[2]  Janusz A. Brzozowski,et al.  Derivatives of Regular Expressions , 1964, JACM.

[3]  Koen Claessen,et al.  An Operational Semantics for Weak PSL , 2004, FMCAD.