2282 search results - page 228 / 457 » Active property checking |
174
Voted
TPHOL
2008
IEEE
16 years 15 days ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
144
click to vote
ICIW
2007
IEEE
16 years 13 days ago
2007
IEEE
Ensuring dependability and security of Peer-toPeer (P2P) systems is an intricate task due to the autonomous and volatile nature of peers and the decentralization that characterize...
152
click to vote
IPPS
2007
IEEE
16 years 13 days ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
147
click to vote
QEST
2007
IEEE
16 years 12 days ago
2007
IEEE
—Performance Trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics,...
197
click to vote
APN
2007
Springer
16 years 9 days ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...