CAV

CAV 公式サイト ↗

Programming Languages & Formal Methods

2026 · 55 papers

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

1. 2026 · CAV

   $$\mathcal {A}\text {-} \texttt {IC3}$$ : Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking

   Zhou, Xiaofeng, Hu, Guangyu, Zhang, Hongce, Zhang, Wei

   Programming Languages & Formal Methods

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

2. 2026 · CAV

   A Mechanised, Bidirectional Type System for Bit-Width Determination in SystemVerilog

   Desfrene, Gabriel, Corradi, Quentin, Pardalos, Michalis, Wickerson, John

   Programming Languages & Formal Methods

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

3. 2026 · CAV

   A Multi-width Parametric Bitvector Equivalence Solver

   Rinaldi, Luigi, Wickerson, John, Coward, Samuel

   Programming Languages & Formal Methods

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

4. 2026 · CAV

   A Practical Specification Language for Automatic Quantum Program Verification

   Tsai, Wei-Lun, Chen, Yu-Fang, Lengál, Ondřej

   Programming Languages & Formal Methods

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

5. 2026 · CAV

   ATKVerifier: Adaptive Top-K Constraints for Tighter Verification of Semantic Segmentation Networks

   Liu, Yuehao, Tian, Cong, Dong, Yansong, Zhao, Liang, Huang, Chao, Wang, Wensheng

   Programming Languages & Formal Methods

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

6. 2026 · CAV

   An $$L^{\#}$$ Based Algorithm for Active Learning of Minimal Separating Automata

   Laumen, Jasper, Snel, Leonne, Vaandrager, Frits

   Programming Languages & Formal Methods

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

7. 2026 · CAV

   Automated Amortised Analysis of Skew Heaps and Leftist Heaps

   Walch, Armin, Moser, Georg, Schoenmakers, Berry, Zuleger, Florian

   Programming Languages & Formal Methods

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

8. 2026 · CAV

   Automating Bitvector and Finite Field Equivalence Proofs in Lean

   Pertseva, Elizaveta, Robert, Valentin, Barrett, Clark, Parker, James

   Programming Languages & Formal Methods

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

9. 2026 · CAV

   Best-Effort Safety Control of Multi-mode Systems

   Benerecetti, Massimo, Faella, Marco, Mogavero, Fabio

   Programming Languages & Formal Methods

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

10. 2026 · CAV

    Complete Local Reasoning About Parameterized Programs Over Topologies

    Cheng, Ruotong, Farzan, Azadeh

    Programming Languages & Formal Methods

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

11. 2026 · CAV

    Compositional Verification of Timed Automata via Violation Assumptions

    Moeini Jam, Mehran, Kalantari, Hamed, Khamespanah, Ehsan, Sirjani, Marjan, Movaghar, Ali

    Programming Languages & Formal Methods

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

12. 2026 · CAV

    Consistency-Based Software Diagnosis: Accuracy, Scalability, and Limitations

    Sallinger, Sarah, Graussam, Lukas, Weissenbacher, Georg, Zuleger, Florian, Ignatiev, Alexey

    Programming Languages & Formal Methods

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

13. 2026 · CAV

    Deadlock Verification via Ordering-Constrained Mutex Modeling

    Wang, Pei, Han, Zhilei, Sun, Zhihang, He, Fei

    Programming Languages & Formal Methods

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

14. 2026 · CAV

    Decoupled Planning for Multiple Omega-Regular Objectives

    Avni, Guy, Henzinger, Thomas A., Mallik, Kaushik, Sadhukhan, Suman, Thejaswini, K. S.

    Programming Languages & Formal Methods

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

15. 2026 · CAV

    Differentially Private Runtime Monitoring

    Finkbeiner, Bernd, Scheerer, Frederik

    Programming Languages & Formal Methods

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

16. 2026 · CAV

    Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families

    Češka, Milan, Junges, Sebastian, van der Maas, Luko, Macák, Filip, Quatmann, Tim

    Programming Languages & Formal Methods

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

17. 2026 · CAV

    Formal Verification of Quantum Ancilla Safety

    Li, Jiqi, Mei, Jingyi, Fang, Wang, Guan, Ji

    Programming Languages & Formal Methods

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

18. 2026 · CAV

    Formally Verified Linear-Time Invertible Lexing

    Chassot, Samuel, Kunčak, Viktor

    Programming Languages & Formal Methods

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

19. 2026 · CAV

    How Many Quantum Circuit Identities Are Needed to Generate All Others?

    Ding, Yuantian, Yu, Nengkun, Qiu, Xiaokang

    Programming Languages & Formal Methods

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

20. 2026 · CAV

    HyperLasso: Bounded Model Checking of $$\forall ^+\exists ^+$$ -Liveness Hyperproperties

    Cunha, Alcino, Pacheco, Hugo, Macedo, Nuno

    Programming Languages & Formal Methods

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

21. 2026 · CAV

    Improving Stability of SMT Solvers via Context-Driven Normalization

    Zhang, Xiang, Zhao, Mengyu, Chen, Shaohuang, Zhang, Jian, Cai, Shaowei

    Programming Languages & Formal Methods

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

22. 2026 · CAV

    Incremental Inference for Probabilistic Datalog

    Li, Xuyang, Chen, Weiyi, Dillig, Isil, Wang, Jingbo

    Programming Languages & Formal Methods

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

23. 2026 · CAV

    Lagrangian-Based Duality for Quantified SMT Algorithms

    Bocevska, Ivana, Tsukada, Takeshi, Unno, Hiroshi, Padon, Oded, Shoham, Sharon

    Programming Languages & Formal Methods

    日本大学: 千葉大学 / 東北大学

24. 2026 · CAV

    Liquid Tree Automata

    Mishra, Ashish, Jagannathan, Suresh

    Programming Languages & Formal Methods

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

25. 2026 · CAV

    Liveness Proofs for Hardware Model Checking

    Froleyks, Nils, Yu, Emily, Bogaerts, Bart, Biere, Armin, Heljanko, Keijo

    Programming Languages & Formal Methods

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

26. 2026 · CAV

    Massively Parallel Mining of Specifications for Hardware Designs

    Ye, Leiqi, Frankel, Guy, Cheng, Jianyi, Polgreen, Elizabeth

    Programming Languages & Formal Methods

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

27. 2026 · CAV

    Model Checking Matrix Product States Against Linear Chain Logic

    Xu, Ming, Chen, Yihao, Guan, Ji

    Programming Languages & Formal Methods

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

28. 2026 · CAV

    Modular Reasoning About Object Relations

    Greutmann, Micha, Eilers, Marco, Müller, Peter

    Programming Languages & Formal Methods

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

29. 2026 · CAV

    On the Complexity of Checking Soundness of Natural Reductions

    Enea, Constantin, Farzan, Azadeh, Klumpp, Dominik

    Programming Languages & Formal Methods

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

30. 2026 · CAV

    On the Verification Problem of Remote Direct Memory Access Programs

    Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Rajanbabu, Govind, Spengler, Stephan

    Programming Languages & Formal Methods

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

31. 2026 · CAV

    Over-Approximation of Weakly-Hard Constraints for Control Systems Verification

    de Maeyer, Rieke, Hermanns, Holger, Maggio, Martina

    Programming Languages & Formal Methods

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

32. 2026 · CAV

    Parallel Abstract Interpretation for Polynomial Programs with Range Bound Assertions

    Akshay, S., Chakraborty, Supratik, Farokhnia, Soroush, Goharshady, Amir, Motwani, Harshit Jitendra, Žikelić, Đorđe

    Programming Languages & Formal Methods

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

33. 2026 · CAV

    Perception with Guarantees: Certified Pose Estimation via Reachability Analysis

    Ladner, Tobias, Shoukry, Yasser, Althoff, Matthias

    Programming Languages & Formal Methods

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

34. 2026 · CAV

    Polynomial Invariant Generation for Floating-Point Programs

    Cai, Xuran, Chen, Liqian, Fu, Hongfei

    Programming Languages & Formal Methods

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

35. 2026 · CAV

    Precise Verification of Transformers Through ReLU-Catalyzed Abstraction Refinement

    Liu, Hengjie, Zhang, Zhenya, Zhao, Jianjun

    Programming Languages & Formal Methods

    日本大学: 九州大学

36. 2026 · CAV

    QAV-FT: Quadratic Approximation-Based Neural Network Verification via Fourier Series and Taylor Truncation

    Wang, Han, Ding, Xuyang, Xie, Ying, Sheng, Yakun

    Programming Languages & Formal Methods

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

37. 2026 · CAV

    Quantifying Sensitivity for Tree Ensembles: A Symbolic and Compositional Approach

    Naik, Ajinkya, Garg, Chaitanya, Akshay, S., Gupta, Ashutosh, Meel, Kuldeep S.

    Programming Languages & Formal Methods

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

38. 2026 · CAV

    Quokka#: Quantum Computing with #SAT

    Mei, Jingyi, Zak, Dekel, Osama, Muhammad, Coopmans, Tim, Laarman, Alfons

    Programming Languages & Formal Methods

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

39. 2026 · CAV

    Randomise Alone, Reach as a Team

    Brice, Léonard, Henzinger, Thomas A., Montaseri, Alipasha, Shafiee, Ali, Thejaswini, K. S.

    Programming Languages & Formal Methods

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

40. 2026 · CAV

    Repairing Regex-Dependent String-Manipulation Programs

    Chida, Nariyoshi, Terauchi, Tachio

    Programming Languages & Formal Methods

    日本大学: 早稲田大学

41. 2026 · CAV

    SMT-Based Active Learning of Weighted Automata

    Ferreira, Tiago, Batz, Kevin, Silva, Alexandra

    Programming Languages & Formal Methods

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

42. 2026 · CAV

    Satisfiability Modulo Extensional Constant Arrays

    Preiner, Mathias, Niemetz, Aina, Barrett, Clark

    Programming Languages & Formal Methods

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

43. 2026 · CAV

    Scalable Deductive Verification of Data-Level Parallel Programs

    van den Haak, Lars B., Wijs, Anton, Huisman, Marieke

    Programming Languages & Formal Methods

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

44. 2026 · CAV

    Shields to Guarantee Probabilistic Safety in MDPs

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

    Programming Languages & Formal Methods

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

45. 2026 · CAV

    Sound and Precise Symbolic Automata Model for Stateful Software Systems

    Wu, Xinlong, Zhou, Ruiyu, Yao, Peisen, Shi, Qingkai

    Programming Languages & Formal Methods

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

46. 2026 · CAV

    Spatiotemporal Robustness of Temporal Logic Tasks Using Multi-Objective Reasoning

    Schön, Oliver, Lindemann, Lars

    Programming Languages & Formal Methods

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

47. 2026 · CAV

    String Solving with Stabilization and Transducers

    Chocholatý, David, Havlena, Vojtěch, Holík, Lukáš, Síč, Juraj, Šedý, Michal

    Programming Languages & Formal Methods

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

48. 2026 · CAV

    Synthesizing POMDP Policies: Sampling Meets Model-Checking via Learning

    Chakraborty, Debraj, Majumdar, Anirban, Mathew, Prince, Mukherjee, Sayan, Raskin, Jean-François

    Programming Languages & Formal Methods

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

49. 2026 · CAV

    Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains

    Li, Jianlin, Guo, Nick, Ye, Peter, Zhang, Yizhou

    Programming Languages & Formal Methods

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

50. 2026 · CAV

    The Cooperating Proof Calculus: Comprehensive Proofs for an SMT Solver

    Reynolds, Andrew, Schurr, Hans-Jörg, Barbosa, Haniel, Israel, Ofec, Jakpor, Jibiana Zoe, Lachnitt, Hanna, Mohamed, Abdalrhman, Niemetz, Aina, Preiner, Mathias, Zohar, Yoni, Jones, Robert, Barrett, Clark, Tinelli, Cesare

    Programming Languages & Formal Methods

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

51. 2026 · CAV

    The Rocq-NN-Roll Prover: Soundly Verifying Hyperproperties of Neural Networks in Rocq

    Aleksandrov, Andrei, Jackisch, Malte, Völlinger, Kim

    Programming Languages & Formal Methods

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

52. 2026 · CAV

    Transition Invariants Revisited: Termination Witnesses and Their Validation

    Beyer, Dirk, Jankola, Marek, Lingsch-Rosenfeld, Marian

    Programming Languages & Formal Methods

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

53. 2026 · CAV

    Upper Bound for the Determinization of Emerson-Lei Automata: A One-Fin Approach

    Ma, Runzhe, Tian, Cong, Wang, Wensheng, Duan, Zhenhua

    Programming Languages & Formal Methods

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

54. 2026 · CAV

    VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification

    Roy, Ann, Antony, Allen, Gimelli, Andrea, Daggitt, Matthew L.

    Programming Languages & Formal Methods

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

55. 2026 · CAV

    Weighted Soundness for Workflow Nets

    Hofman, Piotr, Makuracki, Krzysztof, Mazowiecki, Filip

    Programming Languages & Formal Methods

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