Abstraction-Based Model Checking of Linear Temporal Properties

Mondok, Milán [Mondok, Milán (informatika), author] Department of Measurement and Information Systems (BUTE / FEEI); Vörös, András [Vörös, András (informatika), author] Department of Measurement and Information Systems (BUTE / FEEI)