Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
Unifying proof methodologies of duration calculus and timed linear temporal logic Conference paper
Formal Aspects of Computing
Authors:  Liu Z.;  Ravn A.P.;  Li X.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Design  Real-time  Refinement  Specification  Verification  
The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs Journal article
Formal Aspects of Computing, 1997,Volume: 9,Issue: 2,Page: 149-174
Authors:  Xu Q.;  De Roever W.-P.;  He J.
Favorite  |  View/Download:2/0  |  Submit date:2019/04/04
Compositionality  Concurrency  Deadlock freedom  Partial and total correctness  Rely-Guarantee formalism  Soundness and completeness  Specification and verification