Author:
Rusu Vlad,Zinovieva Elena
Subject
General Computer Science,Theoretical Computer Science
Reference23 articles.
1. Solvable Cases of the Decision Problem;Ackerman,1954
2. W. Bledsoe. A new method for proving certain Presburger formulas. In 4th International Joint Conference on Artificial Intelligence, Tbilissi (USSR), pp. 15–21.
3. Symbolic model checking: 1020 states and beyond;Burch;Information and Computation,1992
4. Model checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results;Bultan;ACM Transactions on Programming Languages and Systems,1999
5. A system to generate test data and symbolically execute programs;Clarke;IEEE Transactions on Software Engineering,1976