Decidability of Mean Value Calculus  

作　　者：李晓山 

出　　处：《Journal of Computer Science & Technology》1999年第2期173-180,共8页计算机科学技术学报（英文版）

摘　　要：Mean Value Calculus ( MVC) is a real-time logic which can be used to specify and verify real-time systems . As a conservative extension of Duration Calculus (DC) , MVC increases the expressive power but keeps the properties of DC . ln this paper we present decidability results of MVC . An interesting result is that propositional MVC with chop star operator is still decidable, which develops the results or and .Mean Value Calculus ( MVC) is a real-time logic which can be used to specify and verify real-time systems . As a conservative extension of Duration Calculus (DC) , MVC increases the expressive power but keeps the properties of DC . ln this paper we present decidability results of MVC . An interesting result is that propositional MVC with chop star operator is still decidable, which develops the results or and .

关 键 词：mean value calculus real-time systems DECIDABILITY 

分 类 号：TP316.2[自动化与计算机技术—计算机软件与理论]