10870 search results - page 145 / 2174 » Model Checking Programs |
124
click to vote
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
112
click to vote
PPDP
2001
Springer
15 years 6 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
102
Voted
CAV
2008
Springer
15 years 3 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
110
click to vote
FDL
2008
IEEE
15 years 1 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
129
click to vote
CONCUR
2001
Springer
15 years 6 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....