Computer Science ›› 2013, Vol. 40 ›› Issue (10): 231-234.
Previous Articles Next Articles
QIAN Lei and YU Wen-sheng
| [1] Schaft A V D,Schumacher H．An Introduction to Hybrid Dy-namical System [M]．London:Spring-Verlag,2000 [2] Loos S M,Platzer A．Safe intersections:At the crossing of hybrid systems and verification[C]∥14th International IEEE Conference on Intelligent Transportation Systems,2011．Washington,DC,USA:Kyongsu Yi,2011:1181-1186 [3] Loos S M,Platzer A,et al．Adaptive cruise control:Hybrid,distributed,and now formally verified[C]∥17th International Symposium on Formal Methods,2011．Limerick,Ireland:Sprin-ger,2011,volume 6664of LNCS,42-56 [4] Platzer A,Quesel J．Logical verification and systematic parametric analysis in train control:Hybrid Systems:Computation and Control[C]∥11th International Conference,2008．St．Louis,USA:Springer,2008,volume 4981of LNCS,646-649 [5] Platzer A．Differential-algebraic dynamic logic for differential-algebraic programs [J]．Journal of Logic and Computation,2010,20(1):309-352 [6] Platzer A．Logical Analysis of Hybrid Systems:Proving Theorems for Complex Dynamics [M]．London New York:Springer,2010 [7] Platzer A,Quesel J．KeYmaera:A hybrid theorem prover for hybrid systems:Automated Reasoning[C]∥Fourth International Joint Conference,2008．Sydney,Australia:Springer,2008,vo-lume 5195of LNCS,171-178 [8] Platzer A．Differential dynamic logic for hybrid systems[J]．Journal of Automated Reasoning,2008,1(2):143-189 [9] Beckert B,Hahnle R,et al．Verification of Object-Oriented Software:The KeY Approach [M]．Berlin,Heidelberg:Springer,2007 |
| No related articles found! |
|
||
Home