1633 search results - page 183 / 327 » On the Verification of Temporal Properties |
103
Voted
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
117
Voted
ECOOP
1995
Springer
15 years 4 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
102
click to vote
JCS
2006
15 years 23 days ago
2006
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
111
click to vote
ICSE
2004
IEEE-ACM
16 years 27 days ago
2004
IEEE-ACM
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...
122
Voted
SCP
2010
14 years 11 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...