A Generic Dynamic Logic for Program Reasoning based on Operational Semantics
Yuanrui Zhang, Zhibin Yang
HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes
Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
Separation Logic with Heap Variables: A Decision Procedure and Its Application
Xie Li, Yutian Zhu, Taolue Chen, Fu Song, Zhilin Wu
Efficient Decomposition Identification of Deterministic Finite Automata from Examples
Junjie Meng, Jie An, Yong Li, Andrea Turrini, Fanjiang Xu, Naijun Zhan, Miaomiao Zhang
Modular Data Refinement
David Faitelson, Leonid Shepetovsky, Shmuel Tyszberowicz
FLARE — Monitoring for the Regulatory Requirements of a Drone Case Study
Sean Fenech, Christian Colombo, Gordon Pace, Axel Curmi
Synchronous System Design with Quantitative Types
Rui Chen, Ingo Sander
ChronosRV: Online Runtime Monitoring and Code Generation for Bounded Temporal Specifications in Low-Latency C++ Trading Systems
Pengfei Qiu, Jun Zhang, Weiguo Song
VQCS: Verified Quantity Calculus System
Zhengpu Shi
A Unified Formal Verification for the k-Center Problem
Qi Sun, Haitao Xu
Keep it simple, or teach them logics: Attack-Defense Tree Perception by Laypeople
Florian Dorfhuber, Marisol Barrientos, Julia Eisentraut, Jan Křetínský
EM-Merge: Consolidating Fragmented Templates in LLM Log Parsing
Qiyue Zhu, Jinyuan Wang, Yani Yang, Tong Li
WEX: Formal Specifications for Windows in Stream Processing
S Hitarth, M Praveen
Risk-Averse Certification of Bayesian Neural Networks
Xiyue Zhang, Zifan Wang, Yulong Gao, Licio Romao, Alessandro Abate, Marta Kwiatkowska
Strategy-aware Liquidity for Account-based Blockchains
Ximeng Li, Sensen Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi
A Program Logic for Byzantine-Fault-Tolerant Protocols
Yuwen Kuang, Hongjin Liang, Xinyu Feng