Search Sciweavers | Sciweavers

1157 search results - page 9 / 232

» Descriptive Complexity and Model Checking

137

Voted

ICLP
1997
Springer

133views Automated Reasoning» more ICLP 1997»

The Complexity of Model Checking in Modal Event Calculi

15 years 9 months ago

Download users.dimi.uniud.it

Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...

Iliano Cervesato, Massimo Franceschet, Angelo Mont...

claim paper

Read More »

120

click to vote

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

15 years 10 months ago

Download www.kroening.com

Edmund M. Clarke, Daniel Kroening, Joël Ouakn...

claim paper

Read More »

131

click to vote

ERSHOV
2003
Springer

107views Theoretical Computer Science» more ERSHOV 2003»

Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework

15 years 10 months ago

Download www.dbai.tuwien.ac.at

We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying inﬁnite games pertinent to computer-aided veriﬁcation.

Henrik Björklund, Sven Sandberg, Sergei G. Vo...

claim paper

Read More »

105

click to vote

FOSSACS
2001
Springer

114views Software Engineering» more FOSSACS 2001»

The Complexity of Model Checking Mobile Ambients

15 years 9 months ago

Download www.it.uu.se

Witold Charatonik, Silvano Dal-Zilio, Andrew D. Go...

claim paper