Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs.

Zijian Zhou, Xiaoyu Song, Sofine Tahar, Eduard Cerny, Francisco Corella, Michel Langevin

Browse the full FMCAD paper archive.