default search action
26th FM 2024: Milan, Italy - Part II
- André Platzer
, Kristin Yvonne Rozier
Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14934, Springer 2025, ISBN 978-3-031-71176-3
Tools and Case Studies
- Terru Stübinger
Extending Isabelle/HOL's Code Generator with Support for the Go Programming Language. 3-19 - Laura Titolo
Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0. 20-38 - Dirk Beyer
FM-Weck: Containerized Execution of Formal-Methods Tools. 39-47 - Daniele Dell'Erba
DFAMiner: Mining Minimal Separating DFAs from Labelled Samples. 48-66 - Raven Beutner
Visualizing Game-Based Certificates for Hyperproperty Verification. 67-75 - Milla Valnet, Nathanaëlle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron:
Chamelon : A Delta-Debugger for OCaml. 76-83 - Carlos Gustavo López Pombo
Automated Static Analysis of Quality of Service Properties of Communicating Systems. 84-103 - Ana Barros, Henrique Neto
Alloy Repair Hint Generation Based on Historical Data. 104-121 - Michael Leuschel
B2SAT: A Bare-Metal Reduction of B to SAT. 122-139 - Jianqiang Ding
PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python. 140-157 - Sung-Shik Jongmans
Discourje: Run-Time Verification of Communication Protocols in Clojure - Live at Last. 158-166 - Paul Kobialka
Stochastic Games for User Journeys. 167-186
Embedded Systems Track
- Huiyu Tan, Xi Yang, Fu Song, Taolue Chen, Zhilin Wu:
Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks. 189-207 - Julius Adelt, Robert Mensing, Paula Herber:
Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems. 208-228 - Han Su
Switching Controller Synthesis for Hybrid Systems Against STL Formulas. 229-247 - Hao Wu
On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains. 248-266 - Changjian Zhang, Parv Kapoor, Rômulo Meira-Góes, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar:
Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems. 267-285 - Zhenya Zhang
CauMon: An Informative Online Monitor for Signal Temporal Logic. 286-304
Industry Day Track
- Minghua Wang
UnsafeCop: Towards Memory Safety for Real-World Unsafe Rust Code with Practical Bounded Model Checking. 307-324 - Juntao Ji, Yinyou Gu, Yubao Fu, Qingshan Lin:
Beyond the Bottleneck: Enhancing High-Concurrency Systems with Lock Tuning. 325-337 - Hanfeng Wang, Zhibin Yang
AGVTS: Automated Generation and Verification of Temporal Specifications for Aeronautics SCADE Models. 338-355 - Vladislav Nenchev
Code-Level Safety Verification for Automated Driving: A Case Study. 356-372 - Gaetano Raia, Gianluca Rigano, David Vincenzoni, Maurizio Martina:
A Case Study on Formal Equivalence Verification Between a C/C++ Model and Its RTL Design. 373-389
Tutorial Papers
- Martin Brain, Elizabeth Polgreen:
A Pyramid Of (Formal) Software Verification. 393-419 - Arend-Jan Quist
Advancing Quantum Computing with Formal Methods. 420-446 - Mariëlle Stoelinga
No Risk, No Fun - A Tutorial on Risk Management. 447-468 - Ivan Perez, Alwyn E. Goodloe, Frank Dedden:
Runtime Verification in Real-Time with the Copilot Language: A Tutorial. 469-491 - Andrea Bombarda
ASMETA Tool Set for Rigorous System Design. 492-517 - Mário Pereira
Practical Deductive Verification of OCaml Programs. 518-542 - Daniel Baier
Software Verification with CPAchecker 3.0: Tutorial and User Guide. 543-570 - Clark W. Barrett
Satisfiability Modulo Theories: A Beginner's Tutorial. 571-596 - Bernhard Beckert
The Java Verification Tool KeY:A Tutorial. 597-623 - Jan Baumeister
A Tutorial on Stream-Based Monitoring. 624-648
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-13 01:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: