Sciweavers

2162 search results - page 18 / 433

» Automated Reasoning on Feature Models

175

Voted

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

16 years 1 months ago

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

135

Voted

TPHOL
2005
IEEE

79views Automated Reasoning» more TPHOL 2005»

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

16 years 1 months ago

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

Download www.cs.york.ac.uk

Néstor Cataño

claim paper

Read More »

135

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

16 years 28 days ago

Bounded Model Checking of Pointer Programs

Download www.ii.uni.wroc.pl

Witold Charatonik, Lilia Georgieva, Patrick Maier

claim paper

Read More »

129

Voted

LICS
2003
IEEE

75views Automated Reasoning» more LICS 2003»

Model Checking Guarded Protocols

16 years 20 days ago

Model Checking Guarded Protocols

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

142

Voted

ECSQARU
2003
Springer

92views Automated Reasoning» more ECSQARU 2003»

A Random set Model for Fuzzy Labels

16 years 19 days ago

A Random set Model for Fuzzy Labels

Download www.enm.bris.ac.uk

Jonathan Lawry, Jordi Recasens

claim paper

Read More »

« Prev « First page 18 / 433 Last » Next »