Travelled to:2 × USA
Collaborated with:Q.Zeng M.Huang P.Courtieu M.Aponte T.Crolard Robby J.Belt J.Hatcliff J.Guitton T.Jennings
Talks about:check (2) explicit (1) toward (1) semant (1) precis (1) improv (1) formal (1) spark (1) model (1) time (1)
Person: Zhi Zhang
DBLP: Zhang:Zhi
Contributed to:
2013
2010Wrote 2 papers:
- HILT-2013-CourtieuACZRBHG #coq #formal method #runtime #semantics #towards #using
- Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq (PC, MVA, TC, ZZ, R, JB, JH, JG, TJ), pp. 21–22.
- SEKE-2010-ZhangZH #model checking #precise
- Some Improvements for More Precise Model Checking (ZZ, QZ, MH), pp. 106–112.