Author:
Pilotto Concetta,White Jerome
Publisher
Springer Science and Business Media LLC
Reference18 articles.
1. Archer M, Heitmeyer C, and Sims S (1998) TAME: a PVS interface to simplify proofs for automata models. In: Proceedings of the 1st international workshop on user interfaces for theorem provers (UITP ’98)
2. Bulwahn L, Krauss A, Nipkow T (2007) Finding lexicographic orders for termination proofs in isabelle/hol. In: Proceedings of the 20th international conference on theorem proving in higher order logics (TPHOLs ’07). Lecture notes in computer science, vol 4732. Springer, Berlin, pp 38–53
3. Chandy KM, Go B, Mitra S, Pilotto C, White J (2011) Verification of distributed systems with local-global predicates. Form Aspect Comput. doi: 10.1007/s00165-010-0150-7
4. Chandy KM, Mitra S, Pilotto C (2008) Convergence verification: from shared memory to partially synchronous systems. In: Proceedings of 5th international conference on formal modeling and analysis of timed systems (FORMATS ’08). Lecture notes in computer science, vol 5215. Springer, pp 217–231
5. Frey P, Radhakrishnan R, Carter HW, Wilsey PA, Alexander P (2002) A formal specification and verification framework for time warp-based parallel simulation. IEEE Trans Softw Eng 28(1): 58–78