Collaborated with:J.Qian Y.Wang K.O.0001 F.Song F.Mallet X.C.0007
Talks about:constraint (1) schedul (1) program (1) languag (1) analysi (1) verifi (1) specif (1) formal (1) updat (1) model (1)
Person: Min Zhang 0002
DBLP: 0002:Min_Zhang
Contributed to:
2019Wrote 2 papers:
- FASE-2019-QianZWO #c #modelling #named #source code #verification
- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs (JQ, MZ0, YW, KO0), pp. 299–305.
- FASE-2019-ZhangSMC #analysis #bound #constraints #scheduling #smt #specification
- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language (MZ0, FS, FM, XC0), pp. 61–78.