Goal-Directed Invariant Synthesis for Model Checking Modulo Theories

DOI10.1007/978-3-642-02716-1_14zbMath1260.68230OpenAlexW93625746MaRDI QIDQ3648730

Silvio Ghilardi, Silvio Ranise

Publication date: 1 December 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02716-1_14

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

A unifying view on SMT-based software verification ⋮ MCMT: A Model Checker Modulo Theories

Uses Software

• SMT-LIB

This page was built for publication: Goal-Directed Invariant Synthesis for Model Checking Modulo Theories