Sciweavers

11436 search results - page 22 / 2288

» Modeling Real Reasoning

88

Voted

TIME
2007
IEEE

93views Automated Reasoning» more TIME 2007»

Model Checking Branching Time Logics

15 years 7 months ago

Model Checking Branching Time Logics

Download www.lsv.ens-cachan.fr

Ph. Schnoebelen

claim paper

Read More »

90

Voted

LOPSTR
2001
Springer

116views Automated Reasoning» more LOPSTR 2001»

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

15 years 5 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 »

107

Voted

CADE
2000
Springer

132views Logical Reasoning» more CADE 2000»

Reducing Model Checking of the Many to the Few

15 years 5 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 »

80

Voted

CL
2000
Springer

104views Automated Reasoning» more CL 2000»

Perfect Model Checking via Unfold/Fold Transformations

15 years 5 months ago

Perfect Model Checking via Unfold/Fold Transformations

Download www.dsi.unive.it

Alberto Pettorossi, Maurizio Proietti

claim paper

Read More »

71

Voted

TIME
1998
IEEE

77views Automated Reasoning» more TIME 1998»

Model-Based Visualization of Temporal Abstractions

15 years 5 months ago

Model-Based Visualization of Temporal Abstractions

Download www.ise.bgu.ac.il

Yuval Shahar, Cleve Cheng

claim paper

Read More »

« Prev « First page 22 / 2288 Last » Next »