Search Sciweavers | Sciweavers

783 search results - page 7 / 157

» Compositional Reasoning in Model Checking

188

click to vote

CADE
2012
Springer

234views Logical Reasoning» more CADE 2012»

EPR-Based Bounded Model Checking at Word Level

13 years 8 months ago

Download www.divms.uiowa.edu

We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of ﬁrstorder logic. This approach to BMC al...

Moshe Emmer, Zurab Khasidashvili, Konstantin Korov...

claim paper

Read More »

152

Voted

TIME
2007
IEEE

93views Automated Reasoning» more TIME 2007»

Model Checking Branching Time Logics

16 years 18 days ago

Download www.lsv.ens-cachan.fr

Ph. Schnoebelen

claim paper

Read More »

146

click to vote

LOPSTR
2001
Springer

116views Automated Reasoning» more LOPSTR 2001»

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

15 years 10 months ago

Download eprints.ecs.soton.ac.uk

Michael Leuschel, Stefan Gruner

claim paper

Read More »

161

click to vote

CADE
2000
Springer

132views Logical Reasoning» more CADE 2000»

Reducing Model Checking of the Many to the Few

15 years 10 months ago

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

125

click to vote

CL
2000
Springer

104views Automated Reasoning» more CL 2000»

Perfect Model Checking via Unfold/Fold Transformations

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers