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

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • David Basin
  • Thibault Dardinier
  • Lukas Heimes
  • Srđan Krstić
  • Martin Raszyk
  • Joshua Schneider
  • Traytel, Dmitriy
Original languageEnglish
Title of host publicationIJCAR 2020
Number of pages22
Volume12166
Publication date2020
Pages432-453
DOIs
Publication statusPublished - 2020
Externally publishedYes
SeriesLecture Notes in Computer Science
Volume12166
ISSN0302-9743

ID: 245667408