Found 2 results
Filters: Author is Lim, HongPing  [Clear All Filters]
2006
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. 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. LimArcher2006.pdf (2.52 MB)