- 1.R. P. Kurshan, "Analysis of Discrete Events Coordination", /,NC$, Vol. 430, pp. 414-453, 1990. Google ScholarDigital Library
- 2.7. Har El, R. P. Kurshan, "Software for Analytical Developmerit of Communications Protocols , AT&T Tech. Journal, pp. 45-59, January 1990.Google Scholar
- 3.O. Coudert, C. Berthet, J. C. Msdre~ "Verification of Sequential Machines Using Boolean Functional Vectors", Internationa| Worka~op on Applied Fomai Methods for Correct VLS{ D:s{gn, pp. 111-128, November 1989.Google Scholar
- 4.H. Cho, G. D. Hschtel, S. W. Jeong. B. Plessier, E. Schwars, F. Somensi, "ATPG Aspects of FSM"~erification", I(TCAD-90, pp. 134-137, November 1990.Google Scholar
- 5.C. Mead, I,. Conway, Introduction to Vl, S_r Systems, Addison- Wesley, 1980. Google ScholarDigital Library
- 6.S. Devadss, K. Keutser, A. S. Krishnakumsr, "Design Verificstion and Reachability Analys|s Us|ng Algebraic manipulation", ICCD-91, pp. 250-258, October 1991. Google ScholarDigital Library
- 7.J.R. Burch, E. M. Clarke, K. L. McMillan, D. Dill, Sequential Circuit Verification Using Symbolic Model Checking", DAC- 90, pp. 46-51, June 1990. Google ScholarDigital Library
- 8.A. Ghosh, S. Devadss, UA Mixed Depth-P;rst/Breadth-Pirst TraversaI Technique for Sequential Logic Verification", MC'NC Worklhop on l, og~c Synthesis, Vol. 3, May 1991.Google Scholar
- 9.E. M. Clarke, O. Grunberg, D. E. Long, "Model Checking and Abstraction", SPPI,- 9~, January 1992. Google ScholarDigital Library
Index Terms
- Verification of systems containing counters
Recommendations
Modeling and Verification of Reactive Systems using Rebeca
Actor-based modeling has been successfully applied to the representation of concurrent and distributed systems. Besides having an appropriate and efficient way for modeling these systems, one needs a formal verification approach for ensuring their ...
Modeling and Verification of Reactive Systems using Rebeca
Actor-based modeling has been successfully applied to the representation of concurrent and distributed systems. Besides having an appropriate and efficient way for modeling these systems, one needs a formal verification approach for ensuring their ...
Comments