| [1] |
T.Bultan, R. Gerber, and C. League.
Composite model checking verification with type-specific symbolic
representations.
ACM Transactions on Software Engineering and Methodology
(TOSEM), 9(1):3-50, 2000. [ bib | .ps ] |
| [2] |
T. Yavuz-Kahveci, M. Tuncer, and T. Bultan.
A library for composite symbolic representations.
In Proc. 7th Int. Conf. Tools and Algorithms for the
Construction and Analysis of Systems (TACAS'2001), Genova, Italy, Apr. 2001, volume 2031 of Lecture Notes in Computer Science, pages 52-66.
Springer, 2001. [ bib | .ps ]
Décrit une implémentation de l'approche ''Composite Model Checking'' des mêmes auteurs [1]. C'est réalisé sous la forme d'une bibliothèque C++ permettant d'interfacer différents packages pour différentes représentations symboliques, à condition de respecter une interface précise. L'approche est testée avec deux représentations symboliques (le package CUDD pour des BDDs, et le package OMEGA pour l'arithmétique de Presburger) et est illustrée sur un exemple simple. Version journal publiée dans STTT [3] (numéro spécial composé d'une sélection de papiers de TACAS'01) |
| [3] |
T. Yavuz-Kahveci and T. Bultan.
A symbolic manipulator for automated verification of reactive systems
with heterogeneous data types.
International Journal on Software Tools for Technology Transfer
(STTT), 5(1):15-33, 2003. [ bib | .ps ]
Version journal de [2] |
| [4] |
B. Jeannet.
Representing and approximating transfer functions in abstract
interpretation of hetereogeneous datatypes.
In Proc. 9th Int. Static Analysis Symposium (SAS'2002),
Madrid, Spain, Sept. 2002, volume 2477 of Lecture Notes in Computer
Science, pages 52-68. Springer, 2002. [ bib | .ps.gz ]
Référence proposée par Ahmed Bouajjani |
| [5] |
A. Annichini, A. Bouajjani, and M. Sighireanu.
Trex: A tool for reachability analysis of complex systems.
In Proc. 13th Int. Conf. Computer Aided Verification
(CAV'2001), Paris, France, July 2001, volume 2102 of Lecture Notes in
Computer Science, pages 368-372. Springer, 2001. [ bib | .ps.gz ] |
Page maintenue par Nathalie Bertrand. Pour tout ajout ou commentaire n'hésitez pas à m'envoyer un mail.