2873 search results - page 350 / 575 » Model Checking and the Mu-calculus |
ISI
2006
Springer
15 years 3 months ago
2006
Springer
Security of civil aviation has become a major concern in recent years, leading to a variety of protective measures related to airport and aircraft security to be established by re...
112
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...
118
Voted
DAC
2000
ACM
16 years 4 months ago
2000
ACM
In this paper, we propose a technique to implement communication protocols as hardware circuits using a model of concurrent EFSMs with multi-way synchronization. Since use of mult...
144
Voted
WWW
2007
ACM
16 years 4 months ago
2007
ACM
To increase confidence in the correctness of specified policies, policy developers can conduct policy testing by supplying typical test inputs (requests) and subsequently checking...
137
Voted
ASYNC
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...