Found 3 results
Filters: Author is Lynch, Nancy  [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)
1994
Heitmeyer, C. L., and N. Lynch, "The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems", NRL Memorandum Report, no. 7619, Washington, D.C., Naval Research Laboratory, 1994. HeitmeyerLynch1994.pdf (242.1 KB)
Heitmeyer, C. L., and N. Lynch, "The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems", IEEE Real-Time Systems Symposium, San Juan, Puerto Rico, 1994. HeitmeyerLynch1994b.pdf (311.85 KB)