4341 search results - page 235 / 869 » Quantitative Model checking |
124
click to vote
ESORICS
2005
Springer
15 years 6 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....
96
Voted
CEC
2008
IEEE
15 years 7 months 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...
74
Voted
MICCAI
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. This paper reports the development of a full-scale instrumented model of the human ear that permits quantitative evaluation of the utility of a microsurgical assistant ro...
ATAL
2007
Springer
15 years 7 months 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...
FASE
2010
Springer
15 years 5 months ago
2010
Springer
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt mode...