Search the dblp DataBase

Publications of Author

1. Gerard J. Holzmann, Margaret H. Smith
   Software Model Checking. [Citation Graph (0, 0)][DBLP]
   FORTE, 1999, pp:481-497 [Conf]
   
2. Gerard J. Holzmann, Margaret H. Smith
   A Practical Method for Verifying Event-Driven Software. [Citation Graph (0, 0)][DBLP]
   ICSE, 1999, pp:597-607 [Conf]
   
3. Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami
   Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. [Citation Graph (0, 0)][DBLP]
   RE, 2001, pp:14-22 [Conf]
   
4. Gerard J. Holzmann, Margaret H. Smith
   Automating software feature verification. [Citation Graph (0, 0)][DBLP]
   Bell Labs Technical Journal, 2000, v:5, n:2, pp:72-87 [Journal]
   
5. Gerard J. Holzmann, Margaret H. Smith
   Software model checking: extracting verification models from source code. [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2001, v:11, n:2, pp:65-79 [Journal]
   
6. Gerard J. Holzmann, Margaret H. Smith
   An Automated Verification Method for Distributed Systems Software Based on Model Extraction. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2002, v:28, n:4, pp:364-377 [Journal]
   
7. 
   From scripts to specifications: the evolution of a flight software testing effort. [Citation Graph (, )][DBLP]
   
   
8. 
   Requirements Capture with RCAT. [Citation Graph (, )][DBLP]
   
   
9. 
   Automated Testing of Planning Models. [Citation Graph (, )][DBLP]
   
   
10. 
    An Entry Point for Formal Methods: Specification and Analysis of Event Logs [Citation Graph (, )][DBLP]