共 25 条
- [21] Pnueli A., Zaks A., PSL model checking and run-time verification via testers, FM 2006. LNCS, 4085, pp. 573-586, (2006)
- [22] Rosu G., Havelund K., Rewriting-based techniques for runtime verification, Autom. Softw. Eng, 12, 2, pp. 151-197, (2005)
- [23] Sen K., Rosu G., Generating optimal monitors for extended regular expressions, ENTCS, 89, 2, pp. 226-245, (2003)
- [24] Stearns R.E., Hunt H.B., On the equivalence and containment problems for unambiguous regular expressions, regular grammars and finite automata, SIAM J. Comput, 14, 3, pp. 598-611, (1985)
- [25] Veanes M., Hooimeijer P., Livshits B., Molnar D., Bjrner N., Symbolic finite state transducers: Algorithms and applications, Proc. ofPOPL 2012, pp. 137-150, (2012)