Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020

Ansgar Fehnker (Editor), Hubert Garavel (Editor)

Research output: Contribution to conferenceOther

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 languageEnglish
DOIs
Publication statusPublished - 2020
Externally publishedYes
Event4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020 - Dublin, Ireland
Duration: 26 Apr 202026 Apr 2020

Conference

Conference4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020
Abbreviated titleMARS 2020
Country/TerritoryIreland
CityDublin
Period26/04/2026/04/20

Fingerprint

Dive into the research topics of 'Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020'. Together they form a unique fingerprint.

Cite this