Sciweavers

7075 search results - page 19 / 1415

» Models and heterogeneous reasoning

30

CADE
2006
Springer

192views Logical Reasoning» more CADE 2006»

Formal Global Optimisation with Taylor Models

14 years 7 months ago

Formal Global Optimisation with Taylor Models

Download www.nianet.org

Roland Zumkeller

claim paper

Read More »

20

TIME
2007
IEEE

93views Automated Reasoning» more TIME 2007»

Model Checking Branching Time Logics

14 years 1 months ago

Model Checking Branching Time Logics

Download www.lsv.ens-cachan.fr

Ph. Schnoebelen

claim paper

Read More »

19

LOPSTR
2001
Springer

116views Automated Reasoning» more LOPSTR 2001»

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

13 years 12 months ago

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

Download eprints.ecs.soton.ac.uk

Michael Leuschel, Stefan Gruner

claim paper

Read More »

34

CADE
2000
Springer

132views Logical Reasoning» more CADE 2000»

Reducing Model Checking of the Many to the Few

13 years 12 months ago

Reducing Model Checking of the Many to the Few

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

20

CL
2000
Springer

104views Automated Reasoning» more CL 2000»

Perfect Model Checking via Unfold/Fold Transformations

13 years 12 months ago

Perfect Model Checking via Unfold/Fold Transformations

Download www.dsi.unive.it

Alberto Pettorossi, Maurizio Proietti

claim paper

Read More »

« Prev « First page 19 / 1415 Last » Next »