Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 2011
    URL: http://dx.doi.org/10.1007/978-3-642-20398-5
    DBLP: db/conf/nfm/nfm2011.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 42  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Bart Jacobs, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx, Frank Piessens.
    VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java.
    NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 2011 (0) 2011
    Conference paper
    José Vander Meulen, Charles Pecheur.
    Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction.
    NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Wilfried Steiner, Bruno Dutertre.
    Automated Formal Verification of the
    NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakallah.
    Generating Data Race Witnesses by an SMT-Based Analysis.
    NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Rüdiger Ehlers.
    Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis.
    NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Michael Butler.
    Applying Atomicity and Model Decomposition to a Space Craft System in Event-B.
    NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 2011 (0) 2011
    Conference paper
    William Denman, Mohamed H. Zaki, Sofiène Tahar, Luis Rodrigues.
    Towards Flight Control Verification Using Automated Theorem Proving.
    NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba.
    opaal: A Lattice Model Checker.
    NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse.
    Stuttering Mostly Speeds Up Solving Parity Games.
    NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Hannes Mehnert.
    Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code.
    NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 2011 (0) 2011
    Show item 1 to 10 of 42  

    Your query returned 42 matches in the database.