1564 search results - page 71 / 313 » Extensions to the Estimation Calculus |
150
click to vote
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
142
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
141
click to vote
JFP
2006
15 years 5 months ago
2006
Confinement properties impose a structure on object graphs which can be used to enforce encapsulation properties. From a practical point of view, encapsulation is essential for bu...
141
click to vote
ENTCS
2007
15 years 5 months ago
2007
We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a si...
157
click to vote
FUIN
2007
15 years 5 months ago
2007
The nets considered here are an extension of Petri nets in two aspects. In the semantical aspect, there is no one firing rule common to all transitions, but every transition is tr...