Author:Shuling Wang

Publications

Keyphrases

benchmark2, concurrency, differential dynamic logic, formal verification, hybrid games2, Hybrid Hoare Logic, hybrid systems3, logic, nonlinear continuous systems, nonlinear systems, ownership transfer, theorem proving3, tools, verification.