8828 search results - page 202 / 1766 » Formal methods in practice |
144
Voted
FATES
2004
Springer
15 years 10 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
162
click to vote
TCC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
131
Voted
ACL
2003
15 years 6 months ago
2003
We present a novel approach for finding discontinuities that outperforms previously published results on this task. Rather than using a deeper grammar formalism, our system combi...
136
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a spe...
136
Voted
IV
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...