國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

NASA formal methods12th Internationa...

(1998 :)

NASA formal methods12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	NASA formal methodsedited by Ritchie Lee, Susmit Jha, Anastasia Mavridou.
其他題名:	12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings /
其他題名:	NFM 2020
其他作者:	Lee, Ritchie.
團體作者:
出版者:	Cham :Springer International Publishing :2020.
面頁冊數:	xxi, 442 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Formal methods (Computer science)
電子資源:	https://doi.org/10.1007/978-3-030-55754-6
ISBN:	9783030557546$q(electronic bk.)

NASA formal methods12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings /
NASA formal methods12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings /[electronic resource] :NFM 2020edited by Ritchie Lee, Susmit Jha, Anastasia Mavridou. - Cham :Springer International Publishing :2020. - xxi, 442 p. :ill., digital ;24 cm. - Lecture notes in computer science,122290302-9743 ;. - Lecture notes in computer science ;4891..

Learning and Formal Synthesis -- From Passive to Active: Learning Timed Automata Efficiently -- Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs -- Parameter Synthesis and Robustness Analysis of Rule-Based Models -- Formal Methods for DNNs -- PaRoT: A Practical Framework for Robust Deep Neural Network Training -- Simplifying Neural Networks using Formal Verification -- High Assurance Systems -- Neural Simplex Architecture -- Strengthening Deterministic Policies for POMDPs -- Benchmarking Software Model Checkers on Automotive Code -- Requirement Specification and Testing -- Automated Requirements-Based Testing of Black-Box Reactive Systems -- Formal Verification of Parallel Prefix Sum -- Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking -- Validation and Solvers -- A Validation Methodology for OCaml-to-PVS Translation -- On the Usefulness of Clause Strengthening in Parallel SAT Solving -- Solvers and Program Analysis -- Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL* -- Constraint Caching Revisited -- Per-Location Simulation -- Verification and Timed Systems -- Sampling Distributed Schedules for Resilient Space Communication -- Model Checking Timed Hyperproperties in Discrete-Time Systems -- Verifying Band Convergence for Sampled Control Systems -- Autonomy and Other Applications -- Heterogeneous Verification of an Autonomous Curiosity Rover -- Run-Time Assurance for Learning-Enabled Systems -- hpnmg: A CC++ Tool for Model Checking Hybrid Petri Nets with General Transitions -- Hybrid and Cyber-Physical Systems -- A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata -- Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches -- Falsification of Cyber-Physical Systems with Constrained Signal Spaces.

This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.* The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the following topical sections: learning and formal synthesis; formal methods for DNNs; high assurance systems; requirement specification and testing; validation and solvers; solvers and program analysis; verification and times systems; autonomy and other applications; and hybrid and cyber-physical systems. *The conference was held virtually due to the COVID-19 pandemic.

ISBN: 9783030557546$q(electronic bk.)

Standard No.: 10.1007/978-3-030-55754-6doiSubjects--Topical Terms:

277520
Formal methods (Computer science)

LC Class. No.: QA76.9.F67 / N45 2020

Dewey Class. No.: 004.0151

NASA formal methods12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings /
LDR:03807nmm a2200361 a 4500 001 585142
003 DE-He213
005 20200808193554.0
006 m d
007 cr nn 008maaau
008 210311s2020 sz s 0 eng d
020 $a 9783030557546$q(electronic bk.)
020 $a 9783030557539$q(paper)
024 7 $a 10.1007/978-3-030-55754-6 $2 doi
035 $a 978-3-030-55754-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.F67 $b N45 2020
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.F67 $b N575 2020
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a NASA formal methods $h [electronic resource] : $b 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings / $c edited by Ritchie Lee, Susmit Jha, Anastasia Mavridou.
246 3 $a NFM 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xxi, 442 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12229
490 1 $a Programming and software engineering
505 0 $a Learning and Formal Synthesis -- From Passive to Active: Learning Timed Automata Efficiently -- Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs -- Parameter Synthesis and Robustness Analysis of Rule-Based Models -- Formal Methods for DNNs -- PaRoT: A Practical Framework for Robust Deep Neural Network Training -- Simplifying Neural Networks using Formal Verification -- High Assurance Systems -- Neural Simplex Architecture -- Strengthening Deterministic Policies for POMDPs -- Benchmarking Software Model Checkers on Automotive Code -- Requirement Specification and Testing -- Automated Requirements-Based Testing of Black-Box Reactive Systems -- Formal Verification of Parallel Prefix Sum -- Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking -- Validation and Solvers -- A Validation Methodology for OCaml-to-PVS Translation -- On the Usefulness of Clause Strengthening in Parallel SAT Solving -- Solvers and Program Analysis -- Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL* -- Constraint Caching Revisited -- Per-Location Simulation -- Verification and Timed Systems -- Sampling Distributed Schedules for Resilient Space Communication -- Model Checking Timed Hyperproperties in Discrete-Time Systems -- Verifying Band Convergence for Sampled Control Systems -- Autonomy and Other Applications -- Heterogeneous Verification of an Autonomous Curiosity Rover -- Run-Time Assurance for Learning-Enabled Systems -- hpnmg: A CC++ Tool for Model Checking Hybrid Petri Nets with General Transitions -- Hybrid and Cyber-Physical Systems -- A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata -- Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches -- Falsification of Cyber-Physical Systems with Constrained Signal Spaces.
520 $a This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.* The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the following topical sections: learning and formal synthesis; formal methods for DNNs; high assurance systems; requirement specification and testing; validation and solvers; solvers and program analysis; verification and times systems; autonomy and other applications; and hybrid and cyber-physical systems. *The conference was held virtually due to the COVID-19 pandemic.
650 0 $a Formal methods (Computer science) $3 277520
650 1 4 $a Software Engineering. $3 274511
650 2 4 $a Computer Systems Organization and Communication Networks. $3 273709
650 2 4 $a Theory of Computation. $3 274475
650 2 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Simulation and Modeling. $3 273719
700 1 $a Lee, Ritchie. $3 875999
700 1 $a Jha, Susmit. $3 876000
700 1 $a Mavridou, Anastasia. $3 876001
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Programming and software engineering. $3 821998
856 4 0 $u https://doi.org/10.1007/978-3-030-55754-6
950 $a Computer Science (SpringerNature-11645)