skip to content
NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings Preview this item
ClosePreview this item
Checking...

NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

Author: Guillaume Brat; Neha S Rungta; Arnaud Venet
Publisher: Berlin ; New York : Springer, [2013] ©2013
Series: Lecture notes in computer science, 7871.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference proceedings
Congresses
Additional Physical Format: Print version:
NFM (Symposium) (5th : 2013 : Moffett Field, Calif.).
NASA formal methods. NFM (Symposium) (5th : 2013 : Moffett Field, Calif.).
Berlin ; New York : Springer, [2013]
(OCoLC)856339498
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Guillaume Brat; Neha S Rungta; Arnaud Venet
ISBN: 9783642380884 3642380883 3642380875 9783642380877
OCLC Number: 843880996
Notes: International conference proceedings.
Description: 1 online resource (xxiv, 486 pages) : illustrations.
Contents: Session 1: Model Checking. Improved State Space Reductions for LTL Model Checking of C and C++ Programs / Petr Ročkai, Jiří Barnat, Luboš Brim --
Regular Model Checking Using Solver Technologies and Automata Learning / Daniel Neider, Nils Jansen --
Improved on-the-Fly Livelock Detection / Alfons Laarman, David Faragó Session 2: Applications of Formal Methods. Evaluating Human-Human Communication Protocols with Miscommunication Generation and Model Checking / Matthew L. Bolton, Ellen J. Bass --
Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing / Rody Kersten [and others] --
SMT-Based Analysis of Biological Computation / Boyan Yordanov [and others]. Session 3: Complex Systems. Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems / Frédéric Boniol [and others] --
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods / Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi --
Inferring Automata with State-Local Alphabet Abstractions / Malte Isberner, Falk Howar, Bernhard Steffen. Session 4: Static Analysis. Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers / Pierre-Loïc Garoche, Temesghen Kahsai, Cesare Tinelli --
Numerical Abstract Domain Using Support Functions / Yassamine Seladji, Olivier Bouissou --
Widening as Abstract Domain / Bogdan Mihaila, Alexander Sepp, Axel Simon --
LiquidPi: Inferrable Dependent Session Types / Dennis Griffith, Elsa L. Gunter. Session 5: Symbolic Execution. Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution / Timothy K. Zirkel, Stephen F. Siegel, Timothy McClory --
Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding / Wei-Fan Chiang [and others] --
Bounded Lazy Initialization / Jaco Geldenhuys [and others]. Session 6: Requirements and Specifications. From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems / Daniela Remenska [and others] --
Automatically Detecting Inconsistencies in Program Specifications / Aditi Tagore, Bruce W. Weide --
BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software / Brian R. Larson, Patrice Chalin, John Hatcliff --
Towards Complete Specifications with an Error Calculus / Quang Loc Le [and others]. Session 7: Probabilistic and Statistical Analysis. A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select / Christel Baier [and others] --
Statistical Model Checking of Wireless Mesh Routing Protocols / Peter Höfner, Annabelle McIver --
On-the-Fly Confluence Detection for Statistical Model Checking / Arnd Hartmanns, Mark Timmer --
Optimizing Control Strategy Using Statistical Model Checking / Alexandre David [and others]. Session 8: Theorem Proving. Formal Stability Analysis of Optical Resonators / Umair Siddique, Vincent Aravantinos, Sofiène Tahar --
Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations / Alexey Solovyev, Thomas C. Hales --
Verifying a Privacy CA Remote Attestation Protocol / Brigid Halling, Perry Alexander --
Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory / Mohamed Yousri Mahmoud, Vincent Aravantinos, Sofiène Tahar. Short Papers. Formal Verification of a Parameterized Data Aggregation Protocol / Sergio Feo-Arenis, Bernd Westphal --
OnTrack: An Open Tooling Environment for Railway Verification / Phillip James [and others] --
Verification of Numerical Programs: From Real Numbers to Floating Point Numbers / Alwyn E. Goodloe [and others] --
Extracting Hybrid Automata from Control Code / Steven Lyde, Matthew Might --
PyNuSMV: NuSMV as a Python Library / Simon Busard, Charles Pecheur --
jUnitRV-Adding Runtime Verification to jUnit / Normann Decker, Martin Leucker, Daniel Thoma --
Using Language Engineering to Lift Languages and Analyses at the Domain Level / Daniel Ratiu [and others] --
On Designing an ACL2-Based C Integer Type Safety Checking Tool / Kevin Krause, Jim Alves-Foss --
Hierarchical Safety Cases / Ewen Denney, Ganesh Pai, Iain Whiteside.
Series Title: Lecture notes in computer science, 7871.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: NFM 2013
Responsibility: Guillaume Brat, Neha Rungta, Arnaud Venet (eds.).

Abstract:

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/843880996>
library:oclcnum"843880996"
library:placeOfPublication
rdf:typeschema:Book
rdf:typeschema:MediaObject
rdf:valueUnknown value: dct
rdf:valueUnknown value: cnp
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:alternateName"NFM 2013"@en
schema:bookFormatschema:EBook
schema:contributor
schema:contributor
schema:contributor
schema:creator
schema:datePublished"2013"
schema:description"This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/1434003318>
schema:genre"Conference proceedings"@en
schema:genre"Electronic books"@en
schema:inLanguage"en"
schema:isPartOf
schema:isPartOf
schema:name"NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings"@en
schema:url
schema:workExample
schema:workExample
schema:workExample
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.