Search results

Articles (6)

Journals (0)

1-6 of 6 results for model checking modulo theories

Sort by:

Relevance

Select all

Sort by:

Relevance

Open access

Research article

First published 2012-2

Universal Guards,Relativization of Quantifiers,and Failure Models in Model Checking Modulo Theories

Francesco Alberti, Silvio Ghilardi, Elena Pagani [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2017

Francesco Alberti, Silvio Ghilardi, Natasha Sharygina

Fundamenta Informaticae

Retricted access

Research article

First published 2014-12

Agata Półrola, Piotr Cybula, Artur Męski

Fundamenta Informaticae

Retricted access

Research article

First published 2016

Jori Bomanson, Martin Gebser, Tomi Janhunen [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2012-9-28

Alessandro Armando, Silvio Ranise

Journal of Computer Security

Retricted access

Research article

First published 2010-9-20

Jean Goubault-Larrecq

Journal of Computer Security