Collections
Top Results
Source
697 STI Collection
2 CHORUS
1 JPL
published
41 2010
39 2009
35 1990
27 1995
26 1993
author
19 Aaron Dutle
18 Anastasia Mavridou
16 Hinchey, Michael G.
15 Havelund, Klaus
14 Andreas Katis
Type
301 Conference Paper
83 Presentation
55 Preprint (Draft being sent to journal)
54 Contractor Report (CR)
37 Reprint (Version printed in journal)
center
198 LaRC
195 CDMS
127 ARC
58 JPL
46 GSFC
subject Category
185 Computer Programming And Software
89 Mathematical And Computer Sciences (General)
32 Air Transportation And Safety
24 Computer Systems
22 Mathematical and Computer Sciences (General)
keyword
46 Formal Methods
14 formal methods
12 Formal Verification
11 FRET
9 Non-NASA Center
distribution
700 Public