Min Zhang - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Tue 18 Apr 2017

Name:Min Zhang

Country:China

Affiliation:East China Normal University

Personal website: https://faculty.ecnu.edu.cn/s/3041/main.jspy

Research interests:Formal Methods

Contributions

2019

FASE

SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs

TACAS

Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude

Show activities from other conferences

ETAPS 2019-profile
View general profile