Follow this link to go to the text only version of nasa.gov

 

NASA - National Aeronautics and Space Administration
Follow this link to skip to the main content
+ Contact NASA
Go
About NASA button News and Events Button Multimedia button Missions button popular topics button MyNASA button
NFM 2012 4th NASA Formal Methods Symposium
NFM 2012 rollover for nfm home page
nfm 2012 rollover for submissions page
nfm 2012 rollover for registration page
NFM 2012 travel rollover
NFM accepted papers rollover
NFM 2012 PROGRAM
NFM 2012 invited speakers rollover
NFM 2012 Local Information Rollover
NFM 2012 History rollover
  NFM 2012 4th NASA Formal Methods Symposium header image
" "NFM 2012 • PROGRAM

 


    Tuesday Program Wednesday Program Schedule thurs schedule
  April 4, 2012
7:15 Registration
8:00--8:15 Announcements
8:15--9:30 Keynote: Patrick Cousot
                 "Formal Verification by Abstract Interpretation"
9:30--10:00 BREAK
10:00--12:00 Session I: Model Checking & SMT
Session Chair: Kristin Rozier

Thread-Modular Model Checking with Iterative Refinement
    Meng Wenrui, Fei He, Bow-Yaw Wang and Qiang Liu  (BibTex)

Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs
    Jiri Barnat, Lubos Brim and Petr Rockai (BibTex)

Automated  Analysis of Parametric Timing-Based Mutual Exclusion Algorithms

    Roberto Bruttomesso, Alessandro Carioni, Silvio Ghilardi and
    Silvio Ranise (BibTex)

Inferring Definite Counterexamples Through Under-Approximation
    Joerg Brauer and Axel Simon (BibTex)                           
12:00--1:30 LUNCH
1:30--3:30 Session II: Statistical Analysis
Session Chair: Anthony Narkawitz

Checking & Distributing Statistical Model Checking
    Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay,
    Marius Mikučionis and Danny Bøgsted Poulsen (BibTex)

Quantitative Timed Analysis of Interactive Markov Chains
    Dennis Guck, Tingting Han, Joost-Pieter Katoen and
    Martin R. Neuhäußer (BibTex)

Belief bisimulation for hidden Markov models: logical characterisation and decision algorithm
    David N. Jansen, Flemming Nielson and Lijun Zhang (BibTex)

Learning Markov models for stationary system behaviors
    Yingke Chen, Hua Mao, Manfred Jaeger, Thomas Dyhre Nielsen,
    Kim G. Larsen and Brian Nielsen (BibTex)
                                                                                                                    
3:30--3:45 BREAK
3:45--5:15 Panel: The application of Formal Methods at NASA
Moderator: Alwyn Goodloe
    Mike Lowry (NASA Ames)
    Klaus Havelund(NASA/JPL),
    Ricky Butler (NASA Langley)
                                                                                                                                 
6:00--8:00 Reception
    Kincaid's Restaurant 300 Monticello Avenue, Suite 417
   (in the MacArthur Center)

 

 


usa gov logo

+ Freedom of Information Act
+ NASA Web Privacy Policy and Important Notices

get adobe reader

get adobe flash player
NASA - National Aeronautics and Space Administration


NASA Official: Suzette Person
Web Curator: Ray Meyer
+ Contact NASA Langley
+ Contact NASA
L
ast Updated: March 30, 2012