Found 4 results
Filters: Author is Mitra, Sayan  [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)
2005
Mitra, S., and M. Archer, "PVS Proof Strategies for Proving Abstraction Properties of Automata", Electronic Notes in Theoretical Computer Science, vol. 125, pp. 45-65, 2005. MitraArcher2005.pdf (486.64 KB)
2004
Mitra, S., and M. Archer, "Reusable PVS Proof Strategies for Proving Abstraction Properties of I/O Automata", Fourth International Workshop on Strategies in Automated Deduction (STRATEGIES 2004), Cork, Ireland, 2004. MitraArcher2004.pdf (486.64 KB)
2003
Mitra, S., and M. Archer, "Developing Strategies for Specialized Theorem Proving about Untimed, Timed, and Hybrid I/O Automata", First International Workshop on Design and Application of Strategies/Tactics in Higher Order Logics (STRATA 2003), Rome, Italy, 2003. MitraArcher2003.pdf (159.7 KB)