FMSoftware Engineering / System Software / Programming Languages
International Symposium on Formal Methods
141Papers indexed
2021-2026Years covered
Recent papers
- A Formal Framework for Predicting Distributed System Performance Under FaultsZiwei Zhou, Si Liu, Zhou Zhou, Peixin Wang et al.2026
- A Framework for the Interoperable Specification and Verification of Encapsulated Data StructuresWolfram Pfeifer, Werner Dietl, Mattias Ulbrich2026
- A General Framework for Robust Quantitative Semantics of Signal Temporal LogicJiawei Chen, José Luiz Vargas de Mendonça, Konstantinos Mamouras, Jean-Baptiste Jeannin2026
- A Refined Ordering Consistency Theory: Full Sequential Consistency and Generalized Preventive ReasoningZhiheng Cai, Zhihang Sun, Fei He2026
- Accelerating Kind Realizability: A Multi-stage Incremental Realizability Checking FrameworkSirui Liu, Wei Dong2026
- Array-Carrying Symbolic Execution for Function Contract GenerationWeijie Lu, Jingyu Ke, Hongfei Fu, Zhouyue Sun et al.2026
- Asynchronous Team AutomataDavide Basile, Maurice H. ter Beek, José Proença2026
- Automatic Memory Management for DataflowsMichael Lienhardt2026
- BDD-Based Deadlock Avoidance for Automated Guided Vehicles in Warehouse Logistics (Case Study Paper)Benjamin von Berg, Bernhard K. Aichernig, Fabian Wedenik2026
- Can LLM Aid in Solving Constraints with Inductive Definitions?Weizhi Feng, Shidong Shen, Jiaxiang Liu, Taolue Chen et al.2026
- Certifying Constraints in Hardware Model CheckingNils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko2026
- Complexity of Consistency Testing for the Release-Acquire SemanticsR. Govind, S. Krishna, Sanchari Sil, B. Srivathsan2026
- Differential Verification of Information Flow in SEAndroid PoliciesLorenzo Ceragioli, Letterio Galletta, Edoardo Lunati2026
- Error-Awareness Accelerates Active Automata LearningLoes Kruger, Sebastian Junges, Jurriaan Rot2026
- Exact Moment Estimation of Stochastic Differential DynamicsShenghua Feng, Jie An, Naijun Zhan, Fanjiang Xu2026
- Exact Verification of Graph Neural Networks with Incremental Constraint SolvingMinghao Liu, Chia-Hsuan Lu, Marta Kwiatkowska2026 · 1 citation
- Fast SMT-Based Fault Tolerance Verification for Wide Area NetworksNing Kang, Peng Zhang, Hao Li, Jianyuan Zhang2026
- FastLEC: Parallel Datapath Equivalence Checking with Hybrid EnginesXindi Zhang, Furong Ye, Zhihan Chen, Shaowei Cai2026 · 1 citation
- Formal Reasoning About Confidence and Automated Verification of Neural NetworksMohammad Afzal, S. Akshay, Blaise Genest, Ashutosh Gupta2026
- Generating Rely-Guarantee Conditions with the Conditional-Writes DomainJames Tobler, Graeme Smith2026
- Highly Incremental: A Simple Programmatic Approach for Many ObjectivesPhilipp Schröer, Joost-Pieter Katoen2026 · 1 citation
- History-Constrained SystemsLouwe B. Kuijer, David Purser, Henry Sinclair-Banks, Patrick Totzke2026
- Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-CheckingRadu Florin Tulcan, Rose Bohrer, Yoàv Montacute, Kevin Zhou et al.2026
- Incremental Synthesis of Safe Controller Guided by Learning-Enabled Barrier Certificates with Efficient LP VerificationNiuniu Qi, Hanrui Zhao, Zhengfeng Yang, Xia Zeng et al.2026
