ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification 文章

ArXiv CS.AI2026-05-27NEWSen作者: Muhammad A. A. Pirzada, Weiqi Wang, Yiannis Charalambous, Konstantin Korovin, Lucas C. Cordeiro
查看原文 →
关系图谱

ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification · 相关技术

相关技术

ODELLMlanguage modelevaldivide-and-conquer partitioningUCTToolsTeraStraight-Through EstimatorSpatial Pivot-Aligned Coordinate-free Embedding (SPACE)ScalaSSESPAParts-of-Speech (POS) tagsOTAORMNATLMMGroup-Action RobustnessForFFIEFICamouflaged object detectionARGANNICE