Temporal Logic and Model Checking for Operator Precedence Languages
published by EPTCS
in 2018
in Informatics Engineering
and research's language is
English
Download
Abstract in English
In the last decades much research effort has been devoted to extending the success of model checking from the traditional field of finite state machines and vario