2687 search results - page 62 / 538 » Formal Analysis of PKCS |
107
Voted
HASE
1998
IEEE
15 years 4 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
108
click to vote
HYBRID
2010
Springer
15 years 5 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
110
click to vote
COLING
1996
15 years 1 months ago
1996
Automatic compilation of the linking relation employed in certain parsing algorithms for context-free languages is examined. Special problems arise in the extension of these algor...
107
click to vote
FMCO
2009
Springer
14 years 10 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
112
click to vote
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...