9067 search results - page 201 / 1814 » Adaptive Model Checking |
194
Voted
ESORICS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
154
click to vote
CEC
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
168
click to vote
AH
2008
Springer
16 years 21 days ago
2008
Springer
The Generic Adaptation Framework research project aims to develop a new reference model for the adaptive hypermedia research field. The new model will consider new developments, t...
162
click to vote
QEST
2007
IEEE
16 years 19 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
153
click to vote
ATAL
2007
Springer
16 years 16 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...