Software Model Checking Using Linear Constraints-Reference-Cited by-同舟云学术

Software Model Checking Using Linear Constraints

Published:2004 Issue: Volume: Page:209-223
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Armando Alessandro,Castellini Claudio,Mantovani Jacopo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30482-1_22.pdf

Reference25 articles.

1. Lecture Notes in Computer Science;T. Ball,2000

2. Lecture Notes in Computer Science;T. Ball,2001

3. Bultan, T., Gerber, R., Pugh, W.: Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. ACM Transactions on Programming Languages and Systems 21, 747–789 (1999)

4. Holzmann, G.J.: The model checker spin. IEEE Trans. Softw. Eng. 23, 279–295 (1997)

5. Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., Pasareanu, C.S., Robby, Z.H.: Bandera: extracting finite-state models from java source code. In: Proc. of the 22nd int. conf. on Software engineering, pp. 439–448. ACM Press, New York (2000)

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

1. On the Computational Complexities of Finding Selected Refutations of Linear Programs;Lecture Notes in Computer Science;2024

2. Optimal Length Cutting Plane Refutations of Integer Programs;Algorithms and Discrete Applied Mathematics;2023

3. Verification and falsification of programs with loops using predicate abstraction;Formal Aspects of Computing;2010-03

4. Building SMT-Based Software Model Checkers: An Experience Report;Frontiers of Combining Systems;2009

5. Model Checking Linear Programs with Arrays;Electronic Notes in Theoretical Computer Science;2006-02