Years of Modal and Mixed Specifications IT U多年的模态和混合规格.pdfVIP

20 Y M M S Adam Antonik Michael Huth Kim G. Larsen Ulrik Nyman Andrzej W˛asowski Abstract Twenty years ago, modal and mixed specifications were proposed as abstract models of system behavior. In this paper, we explain the nature and utility of such specifications, relate them to other formalisms, showcase some of their established applications, and mention some existing tool sup- port. We also present some recent complexity results for decision pro