798 search results - page 71 / 160 » Proving More Properties with Bounded Model Checking |
134
click to vote
ICALP
2001
Springer
15 years 8 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
186
click to vote
QEST
2010
IEEE
15 years 2 months ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
187
click to vote
ICSE
2009
IEEE-ACM
16 years 5 months ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
132
click to vote
FORMATS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
107
click to vote
AMC
2007
15 years 4 months ago
2007
Recently, particular counterexamples were constructed to some theorems of a previous paper, concerning the global attractivity of the positive equilibrium for the delay equation _...