CAV

CAV 公式サイト ↗

Programming Languages & Formal Methods

2025 · 51 papers

このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。

1. 2025 · CAV

   $$\textsf{GPUMC}$$ : A Stateless Model Checker for GPU Weak Memory Concurrency

   Chakraborty, Soham, Krishna, S., Pavlogiannis, Andreas, Tuppe, Omkar

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

2. 2025 · CAV

   A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs

   Kohlen, Bram, Schäffeler, Maximilian, Abdulaziz, Mohammad, Hartmanns, Arnd, Lammich, Peter

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

3. 2025 · CAV

   A Formally Verified Robustness Certifier for Neural Networks

   Tobler, James, Syeda, Hira Taqdees, Murray, Toby

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

4. 2025 · CAV

   Accelerating Automated Program Verifiers by Automatic Proof Localization

   Gopinathan, Kiran, Spiliopoulos, Dionysios, Goyal, Vikram, Müller, Peter, Püschel, Markus, Sergey, Ilya

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

5. 2025 · CAV

   Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata

   Li, Yong, Paul, Soumyajit, Schewe, Sven, Tang, Qiyi

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

6. 2025 · CAV

   Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains

   Spork, Timm, Baier, Christel, Katoen, Joost-Pieter, Klüppelholz, Sascha, Piribauer, Jakob

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

7. 2025 · CAV

   Approximating Fixpoints of Approximated Functions

   Baldan, Paolo, Gurke, Sebastian, König, Barbara, Padoan, Tommaso, Wittbold, Florian

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

8. 2025 · CAV

   Arithmetizing Shape Analysis

   Wolff, Sebastian, Gupta, Ekanshdeep, Esen, Zafer, Hojjat, Hossein, Rümmer, Philipp, Wies, Thomas

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

9. 2025 · CAV

   Assessing the Quality of Binomial Samplers: A Statistical Distance Framework

   Sarkar, Uddalok, Chakraborty, Sourav, Meel, Kuldeep S.

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

10. 2025 · CAV

    Automata Learning from Preference and Equivalence Queries

    Hsiung, Eric, Biswas, Joydeep, Chaudhuri, Swarat

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

11. 2025 · CAV

    Automated Verification of Consistency in Zero-Knowledge Proof Circuits

    Stephens, Jon, Pailoor, Shankara, Dillig, Isil

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

12. 2025 · CAV

    Automated Verification of Monotonic Data Structure Traversals in C

    Sotoudeh, Matthew

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

13. 2025 · CAV

    Automatic Synthesis of Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications

    Williams, Samuel, Deshmukh, Jyotirmoy

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

14. 2025 · CAV

    Automatic Verification of Floating-Point Accumulation Networks

    Zhang, David K., Aiken, Alex

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

15. 2025 · CAV

    Branching Bisimulation Learning

    Abate, Alessandro, Giacobbe, Mirco, Micheletti, Christian, Schnitzer, Yannik

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

16. 2025 · CAV

    Compositional Abstraction for Timed Systems with Broadcast Synchronization

    Chen, Hanyue, Zhang, Miaomiao, Vaandrager, Frits

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

17. 2025 · CAV

    Counter Example Guided Reactive Synthesis for LTL Modulo Theories $$^*$$

    Rodríguez, Andoni, Gorostiaga, Felipe, Sánchez, Cesar

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

18. 2025 · CAV

    Counterexample-Guided Commutativity

    Ebbinghaus, Marcel, Klumpp, Dominik, Podelski, Andreas

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

19. 2025 · CAV

    Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks

    Bozga, Marius, Iosif, Radu, Sangnier, Arnaud, Villani, Neven

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

20. 2025 · CAV

    D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation

    Xu, Yingte, Zhou, Li, Barthe, Gilles

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

21. 2025 · CAV

    Data-Driven Verification of Procedural Programs with Integer Arrays

    Bouajjani, Ahmed, Boutglay, Wael-Amine, Habermehl, Peter

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

22. 2025 · CAV

    Deductive Synthesis of Reinforcement Learning Agents for Infinite Horizon Tasks

    Wang, Yuning, Zhu, He

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

23. 2025 · CAV

    Deeply Optimizing the SAT Solver for the IC3 Algorithm

    Su, Yuheng, Yang, Qiusong, Ci, Yiwei, Li, Yingcheng, Bu, Tianjun, Huang, Ziyu

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

24. 2025 · CAV

    Efficient Probabilistic Model Checking for Relational Reachability

    Gerlach, Lina, Winkler, Tobias, Ábrahám, Erika, Bonakdarpour, Borzoo, Junges, Sebastian

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

25. 2025 · CAV

    Engineering an Efficient Probabilistic Exact Model Counter

    Soos, Mate, Meel, Kuldeep S.

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

26. 2025 · CAV

    FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams

    Wang, Ziyuan, Cheng, Bin, Yuan, Longxiang, Ji, Zhengfeng

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

27. 2025 · CAV

    Floating-Point Neural Networks are Provably Robust Universal Approximators

    Hwang, Geonho, Lee, Wonyeol, Park, Yeachan, Park, Sejun, Saad, Feras

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

28. 2025 · CAV

    Full LTL Synthesis over Infinite-State Arenas

    Azzopardi, Shaun, Di Stefano, Luca, Piterman, Nir, Schneider, Gerardo

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

29. 2025 · CAV

    INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition

    Bansal, Suguman, Singh, Ramneet

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

30. 2025 · CAV

    Infinite-State Liveness Checking with rlive

    Cimatti, Alessandro, Griggio, Alberto, Johannsen, Christopher, Rozier, Kristin Yvonne, Tonetta, Stefano

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

31. 2025 · CAV

    Integer Reasoning Modulo Different Constants in SMT

    Pertseva, Elizaveta, Ozdemir, Alex, Pailoor, Shankara, Bassa, Alp, Porncharoenwase, Sorawee, Dillig, Işil, Barrett, Clark

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

32. 2025 · CAV

    Lean-Auto: An Interface Between Lean 4 and Automated Theorem Provers

    Qian, Yicheng, Clune, Joshua, Barrett, Clark, Avigad, Jeremy

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

33. 2025 · CAV

    On the Almost-Sure Termination of Probabilistic Counter Programs

    Novozhilov, Sergei, Yang, Mingqi, Chen, Mingshuai, Li, Zhiyang, Yin, Jianwei

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

34. 2025 · CAV

    On the Complexity of Checking Mixed Isolation Levels for SQL Transactions

    Bouajjani, Ahmed, Enea, Constantin, Román-Calvo, Enrique

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

35. 2025 · CAV

    Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates

    Badings, Thom, Koops, Wietze, Junges, Sebastian, Jansen, Nils

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

36. 2025 · CAV

    Polyregular Model Checking

    Lopez, Aliaume, Stefański, Rafał

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

37. 2025 · CAV

    Property Directed Reachability with Extended Resolution

    Luka, Andrew, Vizel, Yakir

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

38. 2025 · CAV

    QSM-Cutoff: Systematic Derivation of Quantified Cutoff Formulas for Distributed Protocols

    Luo, Yun-Rong, Goel, Aman, Sakallah, Karem

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

39. 2025 · CAV

    Quantitative Supermartingale Certificates

    Abate, Alessandro, Giacobbe, Mirco, Roy, Diptarko

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

40. 2025 · CAV

    Raven: An SMT-Based Concurrency Verifier

    Gupta, Ekanshdeep, Patel, Nisarg, Wies, Thomas

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

41. 2025 · CAV

    Regex Decision Procedures in Extended RE#

    Varatalu, Ian Erik, Veanes, Margus, Zhuchko, Ekaterina, Ernits, Juhan

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

42. 2025 · CAV

    Relational Hoare Logic for Realistically Modelled Machine Code

    Mazzucato, Denis, Mohamed, Abdalrhman, Lee, Juneyoung, Barrett, Clark, Grundy, Jim, Harrison, John, Păsăreanu, Corina S.

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

43. 2025 · CAV

    Robust Probabilistic Bisimilarity for Labelled Markov Chains

    Fatmi, Syyeda Zainab, Kiefer, Stefan, Parker, David, van Breugel, Franck

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

44. 2025 · CAV

    Scaling GR(1) Synthesis via a Compositional Frameworkfor LTL Discrete Event Control

    Gagliardi, Hernan, Braberman, Victor, Uchitel, Sebastian

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

45. 2025 · CAV

    Scaling Up Proactive Enforcement

    Hublet, François, Lima, Leonardo, Basin, David, Krstić, Srđan, Traytel, Dmitriy

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

46. 2025 · CAV

    Small Decision Trees for MDPs with Deductive Synthesis

    Andriushchenko, Roman, Češka, Milan, Junges, Sebastian, Macák, Filip

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

47. 2025 · CAV

    Structural Operational Semantics for Functional and Security Verification of Pipelined Processors

    Colvin, Robert J., Su, Roger C.

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

48. 2025 · CAV

    Supermartingale Certificates for Quantitative Omega-Regular Verification and Control

    Henzinger, Thomas A., Mallik, Kaushik, Sadeghi, Pouya, Žikelić, Đorđe

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

49. 2025 · CAV

    Verified and Optimized Implementation of Orthologic Proof Search

    Guilloud, Simon, Pit-Claudel, Clément

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

50. 2025 · CAV

    Verifying Fault-Tolerance of Quantum Error Correction Codes

    Chen, Kean, Liu, Yuhao, Fang, Wang, Paykin, Jennifer, Wu, Xin-Chuan, Schmitz, Albert, Zdancewic, Steve, Li, Gushu

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

51. 2025 · CAV

    Verifying Tree-Manipulating Programs via CHCs

    Faella, Marco, Parlato, Gennaro

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）