Diamonds are a girl's best friend: Partial order reduction for timed automata with abstractions

by HANSEN, Henri, LIN, Shang-Wei, LIU, Yang, NGUYEN, Truong Khanh, SUN, Jun
Published 2014

FiB: Squeezing loop invariants by interpolation between forward/backward predicate transformers

by LIN, Shang-Wei, SUN, Jun, XIAO, Hao, LIU, Yang, SANA, David, HANSEN, Henri
Published 2017