759 search results - page 31 / 152 » On formal models for social verification |
ENTCS
2008
14 years 9 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
FC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Social commitments have been increasingly used to model inter-agent dependencies and normative aspects of multiagent systems such as the semantics of agent communication. However,...
ESORICS
2002
Springer
15 years 9 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...