( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving.

, , , , , и . ARCH, том 96 из EPiC Series in Computing, стр. 170-188. EasyChair, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Bohua Chen

Zhan Kang

Zhan Gao

Renya Zhan

Beibei Zhan

 

Другие публикации лиц с тем же именем

Translating a large subset of stateflow to hybrid CSP with code optimization., , , , и . J. Syst. Archit., (2022)ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving., , , , , и . ARCH, том 74 из EPiC Series in Computing, стр. 153-174. EasyChair, (2020)Efficient Verification of Imperative Programs Using Auto2.. TACAS (1), том 10805 из Lecture Notes in Computer Science, стр. 23-40. Springer, (2018)VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects., , , , , , и . TASE, том 13931 из Lecture Notes in Computer Science, стр. 202-220. Springer, (2023)NIL: Learning Nonlinear Interpolants., , , , , и . CADE, том 11716 из Lecture Notes in Computer Science, стр. 178-196. Springer, (2019)ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving., , , , , , , , и . ARCH@SAFECOMP, том 90 из EPiC Series in Computing, стр. 185-203. EasyChair, (2022)Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow., , , и . J. Comput. Sci. Technol., 35 (6): 1324-1342 (2020)Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems., , , , , , и . CoRR, (2024)Formal Verification of Consensus in the Taurus Distributed Database., , , , , , и . FM, том 13047 из Lecture Notes in Computer Science, стр. 741-751. Springer, (2021)HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic., , и . FM, том 14000 из Lecture Notes in Computer Science, стр. 160-178. Springer, (2023)