Found 2 results
Filters: Author is Lim, HongPing  [Clear All Filters]
Archer, M., HP. Lim, N. Lynch, S. Mitra, and S. Umeno, "Specifying and Proving Properties of Timed I/O Automata in the TIOA Toolkit", Fourth ACM \& IEEE International Conference on Formal Methods and Models for Co-Design, Napa, California, pp. 129-138, 2006. PDF icon Archer etal2006.pdf (101.11 KB)
Lim, HP., and M. Archer, "Translation Templates to Support Strategy Development in PVS", STRATEGIES06, The Sixth International Workshop on Strategies in Automated Deduction, Seattle, Washington, 2006. PDF icon LimArcher2006.pdf (2.52 MB)