Author:Shuling Wang
Keyphrasesbenchmark2, 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. |