|
Journals in DBLP
- Aysu Betin-Can, Tevfik Bultan
Interface-Based Specification and Verification of Concurrency Controllers. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
- Songtao Xia, James Hook
Experience with Abstraction-carrying Code. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
- Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif
Space-Reduction Strategies for Model Checking Dynamic Software. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
- Madanlal Musuvathi, Dawson R. Engler
Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
- Flavio Lerda, Nishant Sinha, Michael Theobald
Symbolic Model Checking of Software. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
- Cormac Flanagan, Shaz Qadeer
Transactions for Software Model Checking. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
- Dennis Dams
Comparing Abstraction Refinement Algorithms. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
- Byron Cook, Scott D. Stoller, Willem Visser
SoftMC 2003: Workshop on Software Model Checking. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
- Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund M. Clarke
Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
- Eran Yahav, Shmuel Sagiv
Automatically Verifying Concurrent Queue Algorithms. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
|