| Jos C.M. Baeten - 1991 - عدد الصفحات: 564
...prepositional mu-calculus. Acta Informatica, 27:725-747, 1990. [7] 0. Coudert, C. Berthet, and JC Madre. Verifying temporal properties of sequential machines without building their state diagrams. In Kurshan and Clarke [16]. [8] JW de Bakker, W.-P. de Roever, and G. Rozenberg, editors. Proceedings... | |
| Kim G. Larsen - 1992 - عدد الصفحات: 504
...Applied Formal Methods for Correct VLSI Design, pages 111-128, November 1989. [10] 0. Coudert, JC Madre, and C. Berthet. Verifying temporal properties of sequential...machines without building their state diagrams. In Proc. Workshop on ComputerAided Verification, June 1990. [11] N. Ishiura and S. Yajima. A class of... | |
| Costas Courcoubetis - 1993 - عدد الصفحات: 520
...ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986. 7. O. Coudert, JC Madre, and C. Berthet. Verifying temporal properties of sequential machines without building their state diagram. In CAV'90. 8. DR Dams and O. Grumberg. Abstract interpretation of reactive systems: Abstractions... | |
| Janusz A. Brzozowski, Carl-Johan H. Seger - 1995 - عدد الصفحات: 430
...Annual ACM Symposium on the Theory of Computing, pp. 151-158, ACM, 1971. [40] O. Coudert, J.-C. Madre, and C. Berthet. Verifying Temporal Properties of Sequential...Machines Without Building Their State Diagrams. In E. Clarke and R. Kurshan, editors, Proceedings of Computer- Aided Verification '90, American Mathematical... | |
| Bernhard Steffen - 1998 - عدد الصفحات: 484
...Systems. Proceedings, volume 407 of LNCS, pages 365373. Springer- Verlag, 1989. 13. О. Coudert, JC Madre, and C. Berthet. Verifying temporal properties of sequential...machines without building their state diagrams. In EM Clarke and RP Kurshan, editors, CAV'90. Workshop on Computer-Aided Verification., pages 7584, Rutgers,... | |
| Edmund M. Clarke, Orna Grumberg, Doron Peled, Doron A. Peled - 1999 - عدد الصفحات: 346
...sequential machines based on symbolic execution. In Sifakis [231], pp. 365-373. [82] O. Coudert, JC Madre, and C. Berthet. Verifying temporal properties of sequential...machines without building their state diagrams. In Clarke and Kurshan [71], pp. 23-32. [83] C. Courcoubetis, ed. Proceedings of the 5th Workshop on Computer-Aided... | |
| Warren A. Jr. Hunt, Steven D. Johnson - 2000 - عدد الصفحات: 574
...Design Automation Conference, pages 655-660, 1995. 9. Olivier Coudert, Jean C. Madre, and Christian Berthet. Verifying Temporal Properties of Sequential...Without Building their State Diagrams. In R. Kurshan and EM Clarke, editors, Workshop on Computer Aided Verification, DIMACS, LNCS 531, pages 2332. Springer-... | |
| Allen Kent, James G. Williams - 2000 - عدد الصفحات: 408
...Universitat-Gesamthochschule Paderborn, Fachbereich Mathematik-Informatik (1992). 42. O. Coudert, IC Madre, and C. Berthet. Verifying Temporal Properties of Sequential Machines Without Building Their Date Diagrams," in Proceedings of the Workshop on Computer-Aided Verification (CAV 90), 1990. 43. MJC... | |
| Albert M. K. Cheng - 2003 - عدد الصفحات: 552
...Eng., vol. 22, no. 7, pp. 461-483, July 1996. [Coudert, Mader, and Berthet, 1990] O. Coudert, JC Mader, and C. Berthet, "Verifying Temporal Properties of...Sequential Machines Without Building Their State Diagrams," Proc. 2nd Intl. Conf. on Computer-Aided Verification, June 1990. [Courcoubetis, Damm, and Josko, 1993]... | |
| Andreas Kuehlmann - 2003 - عدد الصفحات: 744
...International Conference on Computer Aided Design, pages 126— 129, 1990. [28] 0. Coudert, JC Mache, and C. Berthet. Verifying temporal properties of sequential...machines without building their state diagrams. In Computer Aided Verification, pages 75—84, 1990. [29] J. Darringer. The application of program verification... | |
| |