Author:Shuling Wang

Publications
ARCH-COMP26 Category Report: Hybrid Systems Theorem Proving Stefan Mitsch, Xiangyu Jin, Shuling Wang and Bohua Zhan In:Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP25 Category Report: Hybrid Systems Theorem Proving Stefan Mitsch, Ismail Patel, Hari Hara Sudhan Kannan, Xiangyu Jin, Bohua Zhan and Shuling Wang In:Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving Stefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster and Jonathan Julian Huerta Y Munive In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen and Jonathan Julián Huerta Y Munive In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang and Naijun Zhan In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
ARCH-COMP20 Category Report:Hybrid Systems Theorem Proving Stefan Mitsch, Jonathan Julián Huerta Y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang and Naijun Zhan In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang and Naijun Zhan In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang and Naijun Zhan In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Proving Simpson's Four-Slot Algorithm Using Ownership Transfer Shuling Wang and Xu Wang In:VERIFY-2010. 6th International Verification Workshop

Keyphrases

benchmark², Benchmarking², concurrency, differential dynamic logic³, differential game logic, formal verification, hybrid games³, Hybrid Hoare Logic⁴, hybrid systems⁶, logic, nonlinear continuous systems, nonlinear systems, ownership transfer, theorem proving⁶, tools, verification.