„compositional verification“

Suchergebnisse

54 Treffer

• Automatic symbolic compositional verification by learning assumptions
  Nam, Wonhong ; Madhusudan, P. ; Alur, Rajeev
• Automated assumption generation for compositional verification
  Gupta, Anubhav ; McMillan, K. L. ; Fu, Zhaohui
• Compositional verification of concurrent systems by combining bisimulations
  Lang, Frédéric ; Mateescu, Radu ; Mazzanti, Franco
• Compositional verification of a lock-free stack with RGITL
  Tofan, Bogdan ; Schellhorn, Gerhard ; Ernst, Gidon ; Pfähler, Jörg ; Reif, Wolfgang 2013 Universität Augsburg
• On the computation of counterexamples in compositional nonblocking verification
  Malik, Robi ; Ware, Simon
• Compositional verification of asynchronous concurrent systems using CADP
  Garavel, Hubert ; Lang, Frédéric ; Mateescu, Radu
• Toward Compositional Verification of Interruptible OS Kernels and Device Drivers
  Chen, Hao ; Wu, Xiongnan ; Shao, Zhong ; Lockerman, Joshua ; Gu, Ronghui
• Compositional stability verification of hybrid systems
  Mitrohin, Corina 2013 Shaker
• Compositional Verification of Concurrent and Real-Time Systems
  2002 Springer US
• Compositional design and verification of component-based information systems
  Werf, Jan Martijn ˜van derœ 2011 Univ. Press
• Decomposition for compositional verification
  Metzler, Björn
• A framework for compositional nonblocking verification of extended finite-state machines
  Mohajerani, Sahar ; Malik, Robi ; Fabian, Martin
• An environment for compositional specification verification of complex embedded systems
  Wittke, Hartmut
• A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems
  Wang, Shuling ; Zhan, Naijun ; Zhang, Lijun