453 search results - page 45 / 91 » Using Symbolic Simulation for Bounded Property Checking |
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
123
Voted
ERSHOV
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
102
click to vote
TSMC
2010
14 years 6 months ago
2010
Traditional planning assumes reachability goals and/or full observability. In this paper, we propose a novel solution for safety and reachability planning with partial observabilit...
109
click to vote
DCC
2000
IEEE
15 years 4 months ago
2000
IEEE
In this paper we describe a trellis representation of variable length coded data which is capable of being used for bit-level or symbol-level maximum a posteriori (MAP) decoding o...
107
click to vote
COOP
2004
15 years 1 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...