1129 search results - page 85 / 226 » Formal Verification of Websites |
138
click to vote
COMCOM
2000
15 years 6 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
146
click to vote
KBSE
1995
IEEE
15 years 10 months ago
1995
IEEE
cation at some level of abstraction, abandoning the semantic information provided by the specification. In this paper, we propose a methodology that ships the overhead of formal re...
171
click to vote
AAMAS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
202
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
157
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...