798 search results - page 68 / 160 » Proving More Properties with Bounded Model Checking |
138
click to vote
ICTAC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
142
click to vote
TIT
2010
14 years 11 months ago
2010
This is the first part of a two-part paper on information-theoretically secure secret key agreement. In this part, we study the secrecy problem under the widely studied source mod...
182
click to vote
GG
2008
Springer
15 years 5 months ago
2008
Springer
Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behav...
140
click to vote
PRICAI
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
133
click to vote
ENTCS
2006
15 years 4 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...