Search Sciweavers | Sciweavers

220 search results - page 6 / 44

» Coq Modulo Theory

click to vote

LPNMR
2009
Springer

207views Automated Reasoning» more LPNMR 2009»

Integrating Answer Set Programming and Satisfiability Modulo Theories

15 years 4 months ago

Download www.datalog20.org

Ilkka Niemelä

claim paper

Read More »

Voted

TABLEAUX
2009
Springer

255views Artificial Intelligence» more TABLEAUX 2009»

Goal-Directed Invariant Synthesis for Model Checking Modulo Theories

15 years 4 months ago

Download homes.dsi.unimi.it

We are interested in automatically proving safety properties of inﬁnite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...

Silvio Ghilardi, Silvio Ranise

claim paper

Read More »

click to vote

QEST
2007
IEEE

115views Modeling and Simulation» more QEST 2007»

Probabilistic Model Checking Modulo Theories

15 years 3 months ago

Download rw4.cs.uni-sb.de

— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to ﬁnitestate mo...

Björn Wachter, Lijun Zhang, Holger Hermanns

claim paper

Read More »

click to vote

SAT
2007
Springer

68views Hardware» more SAT 2007»

A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories

15 years 3 months ago

Download www.csi.ucd.ie

Alessandro Cimatti, Alberto Griggio, Roberto Sebas...

claim paper

Read More »