Titlebook: NASA Formal Methods; 13th International S Aaron Dutle,Mariano M. Moscato,Ivan Perez Conference proceedings 2021 Springer Nature Switzerland

BURSA

0302-9743 systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics..978-3-030-76383-1978-3-030-76384-8Series ISSN 0302-9743 Series E-ISSN 1611-3349

貪婪性

堅(jiān)毅

Polygon Merge: A Geometric Algorithm Verified Using PVS,reds of supporting lemmas. Most of the definitions and lemmas introduced were needed to build a body of deductive artifacts sufficiently robust for this problem domain. Many of these artifacts will be generally useful for working with polygons, line segments and 2D vectors. Accordingly, we are distilling these products into a reusable PVS library.

HAWK

Scalable Reliability Analysis by Lazy Verification,ernative BDMP analysis techniques: discrete-event simulation obtaining statistical bounds, and a recent closed-form technique for obtaining pessimistic system lifetimes. Our experiments show that mostly only a fragment of the state space needs to be investigated enabling the reliability analysis of models that could not be handled before.

offense

Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model,we model the identified conditions and provide a formal proof of eventual progress in Synod. Our proof has been mechanically verified using the Athena proof assistant and, to the best of our knowledge, it is the first machine-checked proof of eventual progress in Synod.

A保存的

Conference proceedings 2021hms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics..

令人苦惱

0302-9743 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assuran

CUB

Suda Bharadwaj,Tichakorn Wongpiromsarn,Natasha Neogi,Joseph Muffoletto,Ufuk Topcu

antipsychotic

Hamza Bourbouh,Marie Farrell,Anastasia Mavridou,Irfan Sljivo,Guillaume Brat,Louise A. Dennis,Michael

變態(tài)