Java PathFinder

Java PathFinder NASA IV&V West Virginia University Introduction An Introduction to Java PathFinder Date June 24, 2008 Presented by: Aaron Higgins, Intern, NASA ATL at WVU [email_address]

Java PathFinder NASA IV&V West Virginia University Applied Technology Lab ,[object Object],[object Object],[object Object],[object Object],[object Object]

Java PathFinder NASA IV&V West Virginia University Overview ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Java PathFinder NASA IV&V West Virginia University Software Verification ,[object Object],[object Object],[object Object]

Java PathFinder NASA IV&V West Virginia University Motivation ,[object Object],[object Object],[object Object],[object Object],[object Object]

Java PathFinder NASA IV&V West Virginia University Current Status ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Java PathFinder NASA IV&V West Virginia University What can JPF do (1)‏ ,[object Object]

Java PathFinder NASA IV&V West Virginia University What can JPF do (2)‏ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Java PathFinder NASA IV&V West Virginia University Model Checking (1)‏ ,[object Object]

Java PathFinder NASA IV&V West Virginia University Model Checking (2)‏ ,[object Object]

Java PathFinder NASA IV&V West Virginia University Limitations ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Java PathFinder NASA IV&V West Virginia University Overcoming Scalability Limitations ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Java PathFinder NASA IV&V West Virginia University Requirements ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Java PathFinder NASA IV&V West Virginia University Supported Operating Systems ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Java PathFinder NASA IV&V West Virginia University Installation (1)‏ ,[object Object],[object Object],[object Object],[object Object]

Java PathFinder NASA IV&V West Virginia University Installation (2)‏ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Java PathFinder NASA IV&V West Virginia University Installation (2)‏

Java PathFinder NASA IV&V West Virginia University Installation (3)‏ ,[object Object],[object Object],[object Object]

Java PathFinder NASA IV&V West Virginia University Installation (3)‏

Java PathFinder NASA IV&V West Virginia University Remote Agent (1)‏ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Java PathFinder NASA IV&V West Virginia University Remote Agent (2)‏ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Java PathFinder NASA IV&V West Virginia University Contact Information ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Java PathFinder NASA IV&V West Virginia University Questions?

Java PathFinder

Recommended

Recommended

More Related Content

Similar to Java PathFinder

Similar to Java PathFinder (20)

More from CS, NcState

More from CS, NcState (20)

Recently uploaded

Recently uploaded (20)

Java PathFinder