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 |