default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. NFM 2010: Washington, DC, USA
- César A. Muñoz:
Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings. NASA Conference Proceedings NASA/CP-2010-216215, 2010 - Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Automatic Review of Abstract State Machines by Meta Property Verification. NASA Formal Methods 2010: 4-13 - Sylvie Boldo, Thi Minh Tuyen Nguyen:
Hardware-independent Proofs of Numerical Programs. NASA Formal Methods 2010: 14-23 - Andreas Bollin:
Slice-based Formal Specification Measures - Mapping Coupling and Cohesion Measures to Formal Z. NASA Formal Methods 2010: 24-33 - Ricky W. Butler, George Hagen, Jeffrey Maddalon, César A. Muñoz, Anthony Narkawicz, Gilles Dowek:
How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project. NASA Formal Methods 2010: 34-46 - Néstor Cataño, Radu I. Siminiceanu:
A Machine-Checked Proof of A State-Space Construction Algorithm. NASA Formal Methods 2010: 47-56 - Sagar Chaki, Arie Gurfinkel:
Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications. NASA Formal Methods 2010: 57-66 - Xiang Fu, Chung-Chih Li:
Modeling Regular Replacement for String Constraint Solving. NASA Formal Methods 2010: 67-76 - Xiaowan Huang, Anu Singh, Scott A. Smolka:
Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol. NASA Formal Methods 2010: 77-86 - Eduardo Rafael López Ruiz, Michel Lemoine:
Can Regulatory Bodies Expect Efficient Help from Formal Methods?. NASA Formal Methods 2010: 87-96 - Srinivas Nedunuri, Douglas R. Smith, William R. Cook:
Synthesis of Greedy Algorithms Using Dominance Relations. NASA Formal Methods 2010: 97-108 - Lehilton L. C. Pedrosa, Arnaldo V. Moura:
A New Method for Incremental Testing of Finite State Machines. NASA Formal Methods 2010: 109-118 - Concetta Pilotto, Jerome White:
Verification of Faulty Message Passing Systems with Continuous State Space in PVS. NASA Formal Methods 2010: 119-128 - Petra Price, Greg Turgeon:
Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking. NASA Formal Methods 2010: 129-138 - Dominic Richards, David R. Lester:
A Prototype Embedding of Bluespec SystemVerilog in the PVS Theorem Prover. NASA Formal Methods 2010: 139-148 - Pritam Roy, Natarajan Shankar:
SimCheck: An Expressive Type System for Simulink. NASA Formal Methods 2010: 149-160 - Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl:
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness. NASA Formal Methods 2010: 161-170 - Sarah Thompson, Guillaume P. Brat, Arnaud Venet:
Software Model Checking of ARINC-653 Flight Code with MCP. NASA Formal Methods 2010: 171-181 - Sanaz Yeganefard, Michael J. Butler, Abdolbaghi Rezazadeh:
Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. NASA Formal Methods 2010: 182-191 - Xiang Yin, John C. Knight:
Formal Verification of Large Software Systems. NASA Formal Methods 2010: 192-201 - Yang Zhao, Gianfranco Ciardo:
Symbolic Computation of Strongly Connected Components Using Saturation. NASA Formal Methods 2010: 202-211 - Erik Endres, Christian Müller, Andrey Shadrin, Sergey Tverdyshev:
Towards the Formal Verification of a Distributed Real-Time Automotive System. NASA Formal Methods 2010: 212-216 - Viet Yen Nguyen, Thomas Noll, Max Odenbrett:
Slicing AADL Specifications for Model Checking. NASA Formal Methods 2010: 217-221 - Pierre Roux, Radu Siminiceanu:
Model Checking with Edge-valued Decision Diagrams. NASA Formal Methods 2010: 222-226 - Christian Saad, Bernhard Bauer:
Data-flow Based Model Analysis. NASA Formal Methods 2010: 227-231
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-09 14:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
