真相/SLC

Truth/SLC——并行系统验证平台。并行软件和硬件系统在当今的应用中扮演着越来越重要的角色。由于这类系统的动态行为具有大量的状态和高度的不确定性,测试通常不足以确保其实现的正确性。因此,形式化规范和验证方法变得越来越流行,其目的是分别为系统设计和建立其正确性属性提供严格的支持。鉴于形式化方法固有的复杂性,需要为用户提供工具支持。它甚至对安全关键并发系统的设计是必不可少的,在这种情况下,一种特殊的或传统的软件工程方法是不合理的。有一种特别成功的自动化验证方法,称为模型检查(model checking),在这种方法中,人们试图证明(一个系统的模型)具有在适当的逻辑中指定的某些属性


zbMATH中的参考文献,1标准件)

显示第1到第8个结果,共8个。
按年份排序(引用)

  1. Demri,Stéphane;D'Souza,Deepak:约束LTL的自动机理论方法(2007)
  2. Blom,Stefan;Orzan,Simona:状态空间强互模拟约简的分布式算法(2005)ioport公司
  3. Blom,Stefan;Orzan,Simona:状态空间强互模拟约简的分布式算法(2005)ioport公司
  4. Blom,Stefan;Orzan,Simona:分布式状态空间最小化(2005)ioport公司
  5. Blom,Stefan;Orzan,Simona Bunker,Annette;Gopalakrishnan,Ganesh;Slind,Konrad:应用于硬件需求规范和验证的分布式状态空间最小化实时序列图(2005)ioport公司
  6. 谭莉:《游戏:诊断游戏平台》(2004)
  7. Fritz,Carsten;Wilke,Thomas:交替Büchi自动机的状态空间缩减。模拟等价商法(2002)
  8. Leuker,Martin;Noll,Thomas:Truth/SLC——并发系统的并行验证平台(2001)