UM

Browse/Search Results:  1-3 of 3 Help

Selected(0)Clear Items/Page:    Sort:
Formalising Scheduling Theories in Duration Calculus Journal article
Nordic Journal of Computing, 2008,Volume: 14,Page: 173–201
Authors:  QIWEN XU;  NAIJUN ZHAN
Favorite  |  View/Download:3/0  |  Submit date:2019/05/29
Real Time Scheduling  Formal Proof  Duration Calculus  Temporal Logics  Schedulability Conditions  
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