1. R. Alur and D.L. Dill. A theory of timed automata.Theoretical Computer Science, vol. 126, pages 183–235,1994.

   Article  Google Scholar 

2. R. Alur and TA. Henzingcr. Reactive modules.InProc. 11th IEEE Symposium on Logic in Computer Science, pages 207–218, 1996.

   Google Scholar 

3. R. Alur and T.A. Henzingcr. Modularity for timed and hybrid systems. InProc. 8th International Conference on Concurrency Theory, LNCS 1243, pages 74–88. Springer-Verlag, 1997.

   Google Scholar 

4. R. Alur, TA. Henzingcr, and O. Kupferman. Alternating-time temporal logic. InProc. 38th IEEE Symposium on Foundations of Computer Science, pages 100–109, 1997.

   Google Scholar 

5. R. Alur, TA. Henzingcr, and S.K. Rajamani. Symbolic exploration of transition hierarchies. InTACAS 98: Tools and Algorithms for Construction and Analysis of Systems, LNCS 1384, pages 330–344, 1998.

   Google Scholar 

6. J.R. Burch and E.M. Clarke and K.L. McMillan and D.L. Dill and L.J. Hwang. Symbolic model checking: 10²⁰ states and beyond.Information and Computation, Vol 98, No 2, pages 142–170, 1992.

   Article  Google Scholar 

7. G. Berry and G. Gonthier. The synchronous programming language ESTEREL: design, semantics, implementation. Technical Report 842, INRIA, 1988.

   Google Scholar 

8. R. Brayton, G. Hachtcl, A. Sangiovanni-Vincentelli, F. Somenzi, A. Aziz, S. Cheng, S. Edwards, S. Khatri, Y. Kukimoto, A. Pardo, S. Qadeer, R. Ranjan, S. Sarwary, T Shiple, G. Swamy, and T. Villa. VIS: A system for verification and synthesis. InProc. 8th International Conference on Computer Aided Verification, LNCS 1102, pages 428–432. Springer-Verlag, 1996.

   Google Scholar 

9. R.E. Bryant. Graph-based algorithms for boolean-function manipulation.IEEE Trans. on Computers, C-35(8), 1986.

   Google Scholar 

10. K.M. Chandy and J. Misra.Parallel program design: A foundation. Addison-Wesley, 1988

    Google Scholar 

11. E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. InProc. Workshop on Logic of Programs, LNCS 131, pages 52–71. Springer-Verlag, 1981.

    Google Scholar 

12. ExpertInterfaccTechnologies.Tix Home Page.http://www.xpi.com/tix/index.html.

    Google Scholar 

13. TA. Henzingcr, S. Qadeer, and S.K. Rajamani. You assume, we guarantee: Methodology and case studies. InProc. 10th International Conference ore CornputerAided Verification. Springer-Verlag, 1998.

    Google Scholar 

14. N.A. Lynch.Distributed Algorithms. Morgan Kaufmann, 1996.

    Google Scholar 

15. A. Pnueli. The temporal logic of programs. InProc. 18th IEEE Symposium on Foundations of Computer Science, pages 46–77, 1977.

    Google Scholar 

16. R.K. Ranjan, A. Aziz, B. Messier, C. Pixley, and R.K. Brayton. Efficient formal design verification: data structures + algorithms. InProc. International Workshop on Logic Synthesis, 1995.

    Google Scholar 

Download references