Author:Shuling Wang

Publications

Keyphrases

benchmark2, Benchmarking, concurrency, differential dynamic logic2, formal verification, hybrid games2, Hybrid Hoare Logic2, hybrid systems4, logic, nonlinear continuous systems, nonlinear systems, ownership transfer, theorem proving4, tools, verification.