Abstract | ||
---|---|---|
The cones and foci verification method from Groote and Springintveld [J.F. Groote and J. Springintveld. Focus points and convergent process operators. A proof strategy for protocol verification. Journal of Logic and Algebraic Programming, 49(1/2): 31-60, 2001] was extended to timed systems by van der Zwaag [M.B. van der Zwaag. The cones and foci proof technique for timed transition systems. Information Processing Letters, 80(1): 33-40, 2001]. We present an extension of this cones and foci method for timed systems, which can cope with infinite @t-sequences. We prove soundness of our approach and give small verification examples. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1016/j.entcs.2005.09.003 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
proof strategy,van der zwaag,timed μ crl,protocol verification,foci verification method,small verification example,verification techniques,j. springintveld,algebraic programming,timed transition systems,foci proof technique,timed crl,verication techniques.,j.f. groote,formal verification,foci method,timed systems | Discrete mathematics,Algebraic number,Information processing,Focus (geometry),Computer science,Theoretical computer science,Operator (computer programming),Soundness,Protocol verification,Formal verification | Journal |
Volume | Issue | ISSN |
139 | 1 | Electronic Notes in Theoretical Computer Science |
Citations | PageRank | References |
1 | 0.39 | 13 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Wan Fokkink | 1 | 1089 | 88.64 |
Jun Pang | 2 | 521 | 30.59 |