23 citations · 68 across the 22 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.FL2019★ 3 cited
Learning One-Clock Timed Automata
Jie An, Mingshuai Chen, Bohua Zhan +2
We present an algorithm for active learning of deterministic timed automata with a single clock. The algorithm is within the framework of Angluin's algorithm and inspired by…
cs.LO2019★ 1 cited
NIL: Learning Nonlinear Interpolants
Mingshuai Chen, Jian Wang, Jie An +3
Nonlinear interpolants have been shown useful for the verification of programs and hybrid systems in contexts of theorem proving, model checking, abstract interpretation, etc. The…
cs.LO2019★ 1 cited
HolPy: Interactive Theorem Proving in Python
Bohua Zhan
HolPy is an interactive theorem proving system implemented in Python. It uses higher-order logic as the logical foundation. Its main features include a pervasive use of macros in p…