Model checking: recent improvements and applications

Dragan Bosnacki, Anton Wijs. Model checking: recent improvements and applications. STTT, 20(5):493-497, 2018. [doi]

Abstract

Abstract is missing.