1799 search results - page 86 / 360 » The Logic of Correctness in Software Engineering |
156
click to vote
FOSSACS
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
190
click to vote
FOSSACS
2010
Springer
16 years 26 days ago
2010
Springer
Abstract. We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the first-order modelling. In parti...
190
click to vote
FOSSACS
2010
Springer
16 years 26 days ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
162
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
210
click to vote
ISARCS
2010
15 years 8 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...