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.

織布機(jī)

巧思

落葉劑

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