3773 search results - page 29 / 755 » Logical Reasoning |
134
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Modal dependence logic was introduced very recently by V
190
click to vote
TIME
2008
IEEE
16 years 25 days ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
186
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...
185
click to vote
LFCS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
