504 search results - page 37 / 101 » Reasoning about local properties in modal logic |
131
Voted
SCP
2010
15 years 6 days ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
118
click to vote
CADE
2010
Springer
15 years 2 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
101
click to vote
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
102
Voted
CLIMA
2004
15 years 3 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
MEMOCODE
2005
IEEE
15 years 7 months ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...