\textsc{Sorcar}: property-driven algorithms for learning conjunctive invariants

DOI10.1007/978-3-030-32304-2_16zbMATH Open1539.68071MaRDI QIDQ6536295

Shambwaditya Saha, Pranav Garg, Daniel Neider, P. Madhusudan

Publication date: 19 April 2024

zbMATH Keywords

machine learninginvariant synthesisconjunctive formulasHorn-ICE learning

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Invariant synthesis for incomplete verification engines
• IC3 - Flipping the E in ICE
• SAT-Based Model Checking without Unrolling
• A Greedy Heuristic for the Set-Covering Problem
• Reducibility among Combinatorial Problems
• A Data Driven Approach for Algebraic Loop Invariants
• Computer Aided Verification
• Computer Aided Verification
• ICE-based refinement type discovery for higher-order functional programs

This page was built for publication: \textsc{Sorcar}: property-driven algorithms for learning conjunctive invariants