2 papers
cs.SE2026
Syntax-driven Incremental Program Verification of Matching Logic Properties
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi +2
Incrementality is a fundamental design principle to master the complexity of large, long-lived software systems. This principle has been embraced by agile development processes and…
cs.AI2025
Robust Probabilistic Model Checking with Continuous Reward Domains
Xiaotong Ji, Hanchun Wang, Antonio Filieri +1
Probabilistic model checking traditionally verifies properties on the expected value of a measure of interest. This restriction may fail to capture the quality of service of a sign…