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