Abstract
The proceedings contain 10 papers. The topics discussed include: various ways to quantify BDMPs; modeling the raft distributed consensus protocol in LNT; formalizing the optimized link state routing protocol; formal models of the OSPF routing protocol; iterative variable reordering: taming huge system families; estimating end-to-end latencies in automotive cyber-physical systems; specifying a cryptographical protocol in lustre and SCADE; modeling an asynchronous circuit dedicated to the protection against physical attacks; simulation-based safety assessment of high-level reliability models; and synthesizing strategies for needle steering in gelatin phantoms..
| Original language | English |
|---|---|
| DOIs | |
| Publication status | Published - 2020 |
| Externally published | Yes |
| Event | 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020 - Dublin, Ireland Duration: 26 Apr 2020 → 26 Apr 2020 |
Conference
| Conference | 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020 |
|---|---|
| Abbreviated title | MARS 2020 |
| Country/Territory | Ireland |
| City | Dublin |
| Period | 26/04/20 → 26/04/20 |