NASA Logo, External Link
Facebook icon, External Link to NASA STI page on Facebook Twitter icon, External Link to NASA STI on Twitter YouTube icon, External Link to NASA STI Channel on YouTube RSS icon, External Link to New NASA STI RSS Feed AddThis share icon
Search Results
Matching Records: 1
Sort Results By:
Selected   › View Selected  /  › Clear Selected
Proceedings of the First NASA Formal Methods Symposium
Document ID: 20100024454
NTRS Full-Text: Click to View  [PDF Size: 3.3 MB]
Author: Denney, Ewen (Editor); Giannakopoulou, Dimitra (Editor); Pasareanu, Corina S. (Editor)
Abstract: Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; hide
Publication Year: 2009
Document Type: Conference Proceedings
Report/Patent Number: NASA/CP-2009-215407, ARC-E-DAA-TN774
Date Acquired: Jul 13, 2010
Search History
NASA Logo, External Link
NASA Official: Gerald Steeman
Site Curator: STI Program
Last Modified: February 16, 2018
Contact Us