1497 search results - page 181 / 300 » Extended static checking |
108
Voted
CADE
2010
Springer
15 years 3 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
133
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
We present a new algorithm for model-checking weak monadic second-order logic on inductive structures, a class of structures of bounded clique width. Our algorithm directly manipul...
221
Voted
ECCB
2008
IEEE
15 years 2 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
132
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We introduce an approach to detecting inconsistencies in large biological networks by using Answer Set Programming. To this end, we build upon a recently proposed notion ...
105
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...