A symbolic manipulator for automated verification of reactive systems with heterogeneous data types-Reference-Cited by-同舟云学术

A symbolic manipulator for automated verification of reactive systems with heterogeneous data types

Published:2002-12-18 Issue:1 Volume:5 Page:15-33
ISSN:1433-2779
Container-title:International Journal on Software Tools for Technology Transfer
language:en
Short-container-title:Int J Softw Tools Technol Transfer

Author:

Yavuz-Kahveci Tuba,Bultan Tevfik

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/s10009-002-0091-4.pdf

Reference29 articles.

1. Alur, R., Henzinger, T.A., Ho, P.: Automatic symbolic verification of embedded systems. IEEE Trans Software Eng 22(3): 181–201, 1996

2. Andrews, G.R.: Concurrent programming: principles and practice. Benjamin/Cummings, Redwood City, Calif., USA, 1991

3. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.H.: Symbolic model checking: 1020 states and beyond. In: Proc. 5th Annual IEEE Symposium on Logic in Computer Science, pp. 428–439, January 1990

4. Bultan, T., Gerber, R., League, C.: Verifying systems with integer constraints and Boolean predicates: a composite approach. In: Proc. 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 113–123, March 1998

5. Bensalem, S., Ganesh, V., Lakhnech, Y., Munoz, C., Owre, S., Rueb, H., Rushby, J., Rusu, V., Saidi, H., Shankar, N., Singerman, E., Tiwari, A.: An overview of SAL. In: Proc. 5th Langley Formal Methods Workshop, June 2000

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A lightweight regular model checking approach for parameterized systems;International Journal on Software Tools for Technology Transfer;2011-08-27

2. AUTOMATIC VERIFICATION OF DIRECTORY-BASED CONSISTENCY PROTOCOLS WITH GRAPH CONSTRAINTS;International Journal of Foundations of Computer Science;2011-06

3. Action Language verifier: an infinite-state model checker for reactive software specifications;Formal Methods in System Design;2009-09-12

4. Model checking sequential software programs via mixed symbolic analysis;ACM Transactions on Design Automation of Electronic Systems;2009-01

5. Approximated Context-Sensitive Analysis for Parameterized Verification;Formal Techniques for Distributed Systems;2009