32032 search results - page 150 / 6407 » Verified programming in Guru |
143
click to vote
ARTS
1999
Springer
15 years 9 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
188
click to vote
CSFW
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
124
Voted
HASE
1997
IEEE
15 years 9 months ago
1997
IEEE
Fault-tolerant behavior is an important non-functional requirement for systems that involve high criticality. We present a framework which allows the analysis of faulttolerant beh...
147
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...
125
click to vote
CRYPTO
2009
Springer
15 years 8 months ago
2009
Springer
The round complexity of interactive protocols is one of their most important complexity measures. In this work we prove that existing lower bounds for the round complexity of VSS c...