23 citations · 68 across the 22 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.LO2022★ 1 cited
HHLPy: Practical Verification of Hybrid Systems using Hoare Logic
Huanhuan Sheng, Alexander Bentkamp, Bohua Zhan
We present a tool for verification of hybrid systems expressed in the sequential fragment of HCSP (Hybrid Communicating Sequential Processes). The tool permits annotating HCSP prog…
cs.FL2022
Active Learning of One-Clock Timed Automata using Constraint Solving
Runqing Xu, Jie An, Bohua Zhan
Active automata learning in the framework of Angluin's algorithm has been applied to learning many kinds of automata models. In applications to timed models such as timed aut…
cs.FL2022
Machine-checked executable semantics of Stateflow
Shicheng Yi, Shuling Wang, Bohua Zhan +1
Simulink is a widely used model-based development environment for embedded systems. Stateflow is a component of Simulink for modeling event-driven control via hierarchical state ma…