Titlebook: NASA Formal Methods; 12th International S Ritchie Lee,Susmit Jha,Dimitra Giannakopoulou Conference proceedings 2020 Springer Nature Switzer

幻想

MERIT

From Passive to Active: Learning Timed Automata Efficiently evaluation we compared our active to the passive learning technique based on 43 timed systems with up to 20 locations and multiple clock variables. The results of . experiments show that we require only 100 timed traces to adequately learn a timed system. The new approach is up to 755 times faster.

aplomb

BRUNT

Benchmarking Software Model Checkers on Automotive Codeion competition. A hand-crafted, simple extension of the verifier CBMC with .-induction delivers results on 63% of the requirements while the proprietary BTC EmbeddedValidator covers 80% and obtains bounded verification results for most of the remaining requirements.

织布机

巧思

落叶剂

Parameter Synthesis and Robustness Analysis of Rule-Based Modelsr the synthesis of parameter values (parameter synthesis) which ensure the behaviour of the modelled system satisfies a given PCTL property. In addition, we demonstrate how this method can be used for robustness analysis.

死亡

Biomarker

–scent