James C. Corbett

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Name

E-Mail

Homepage

Address

Department of Information & Computer Sciences
University of Hawaii
Honolulu, HI 96822
Voice: (808) 956-6107
Fax: (808) 956-3548
Office: POST 314F 

Institution

Publications

2000:
/Corbett, 2000/ Bandera: Extracting Finite-State Models from Java Source Code
/Corbett, 2000a/ Bandera: A Source-level Interface for Model Checking Java Programs

1999:
/Dwyer, 1999/ Patterns in Property Specifications for Finite-State Verification

See Also

GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster