Sciweavers

8337 search results - page 35 / 1668

» Reasoning With Characteristic Models

32

CADE
2006
Springer

192views Logical Reasoning» more CADE 2006»

Formal Global Optimisation with Taylor Models

14 years 8 months ago

Formal Global Optimisation with Taylor Models

Download www.nianet.org

Roland Zumkeller

claim paper

Read More »

23

TIME
2007
IEEE

93views Automated Reasoning» more TIME 2007»

Model Checking Branching Time Logics

14 years 2 months ago

Model Checking Branching Time Logics

Download www.lsv.ens-cachan.fr

Ph. Schnoebelen

claim paper

Read More »

22

LOPSTR
2001
Springer

116views Automated Reasoning» more LOPSTR 2001»

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

14 years 27 days 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 »

38

CADE
2000
Springer

132views Logical Reasoning» more CADE 2000»

Reducing Model Checking of the Many to the Few

14 years 25 days ago

Reducing Model Checking of the Many to the Few

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

23

CL
2000
Springer

104views Automated Reasoning» more CL 2000»

Perfect Model Checking via Unfold/Fold Transformations

14 years 25 days ago

Perfect Model Checking via Unfold/Fold Transformations

Download www.dsi.unive.it

Alberto Pettorossi, Maurizio Proietti

claim paper

Read More »

« Prev « First page 35 / 1668 Last » Next »