TRANSYT:A Tool for the Verification of Asynchronous Concurrent Systems

1. Somenzi, F.: CUDD: CU decision diagram package release (1998)

   Google Scholar 

2. Cabodi, G., Quer, S.: PdTRAV package politecnico di torino reachability analysis for verification, release 1.2 (1999)

   Google Scholar 

3. Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NuSMV: A new symbolic model checker. International Journal on Software Tools for Technology Transfer 2, 410–425 (2000)

   Article  MATH  Google Scholar 

4. The VIS Group: VIS: A system for verification and synthesis. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 428–432. Springer, Heidelberg (1996)

   Google Scholar 

5. Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Transactions on Information and Systems E80-D(3), 315–325 (1997)

   Google Scholar 

6. Clarke, E.M., Grumberg, O., McMillan, K.L., Zhao, X.: Efficient generation of counterexamples and witnesses in symbolic model checking. In: Proceedings of the 32nd ACM/IEEE conference on Design automation conference, pp. 427–432 (1995)

   Google Scholar 

7. Stevens, K., Ginosar, R., Rotem, S.: Relative timing. In: Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, pp. 208–218 (1999)

   Google Scholar 

8. Solé, M., Pastor, E.: Evaluating symbolic traversal algorithms applied to asynchronous concurrent systems. In: International Conference on Application of Concurrency to System Design (ACSD 2004), pp. 207–216 (2004)

   Google Scholar 

Download references