Back to overview

A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic

Type of publication Peer-reviewed
Publikationsform Proceedings (peer-reviewed)
Author Basin David, Dardinier Thibault, Heimes Lukas, Krstić Srđan, Raszyk Martin, Schneider Joshua, Traytel Dmitriy,
Project Big Data Monitoring
Show all

Proceedings (peer-reviewed)

Editor , Peltier Nicolas; , Sofronie-Stokkermans Viorica
Volume (Issue) 12166
Page(s) 432 - 453
Title of proceedings Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part I
DOI 10.1007/978-3-030-51074-9_25