40 search results - page 4 / 8 » Model checking propositional dynamic logic with all extras |
123
Voted
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
154
Voted
TACAS
2001
Springer
15 years 8 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
119
Voted
DAC
2005
ACM
15 years 5 months ago
2005
ACM
Finding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording...
118
Voted
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
—We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We mod...
127
Voted
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...