„compositional verification“

Suchergebnisse

1.000+ Treffer

• Generality in design and compositional verification usingTav
  Børjesson, Anders ; Larsen, Kim Guldstrand ; Skou, Arne
• A formal framework for compositional verification of organic computing systems
  Nafz, Florian ; Seebach, Hella ; Steghöfer, Jan-Philipp ; Bäumler, Simon ; Reif, Wolfgang ; Xie, Bing ; Branke, Juergen ; Sadjadi, S. Masoud ; Zhang, Daqing ; Zhou, Xingshe 2010 Universität Augsburg
• Between environmental perception and decision-making: compositional engineering of safe automated driving systems
  Philipp, Robin ; Howar, Falk ; Chen, Jian-Jia 2024 Universitätsbibliothek Dortmund
• Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques
  Lavaei, Abolfazl ; Buss, Martin ; Soudjani, Sadegh ; Zamani, Majid 2019 Universitätsbibliothek der TU München
• Decomposition for compositional verification
  Metzler, Björn
• Compositional Concurrent Program Verification with RGITL
  Tofan, Bogdan ; Reif, Wolfgang 2014 Universität Augsburg
• An environment for compositional specification verification of complex embedded systems
  Wittke, Hartmut
• Compositional verification of industrial control systems – methods and case studies
  Lukoschus, Ben
• Coverage of Compositional Property Sets for Hardware and Hardware-dependent Software in Formal System-on-Chip Verification
  Bao, Binghao ; Kunz, Wolfgang ; Heinkel, Ulrich 2017 Technische Universität Kaiserslautern
• Compositional Reasoning for Parametric Probabilistic Automata
  Mertens, Hannah ; Quatmann, Tim ; Katoen, Joost-Pieter 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
  Becker, Basil ; Giese, Holger ; Neumann, Stefan 2009 Universität Potsdam
• An Expressive Trace Logic for Recursive Programs
  Gurov, Dilian ; Hähnle, Reiner 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verifying Linearizability and Lock-Freedom with Temporal Logic
  Tofan, Bogdan ; Bäumler, Simon ; Schellhorn, Gerhard ; Reif, Wolfgang 2009 Universität Augsburg
• Compositional Verification of Interacting Systems Using Event Monads
  Zhan, Bohua ; Lv, Yi ; Wang, Shuling ; Zhao, Gehang ; Hao, Jifeng ; Ye, Hong ; Xia, Bican 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bounded-Deducibility Security (Invited Paper)
  Popescu, Andrei ; Bauereiss, Thomas ; Lammich, Peter 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Verified Compositional Algorithm for AI Planning
  Abdulaziz, Mohammad ; Gretton, Charles ; Norrish, Michael 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lazy Reachability Analysis in Distributed Systems
  Jezequel, Loïg ; Lime, Didier 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compositional Compiler Verification for a Multi-Language World
  Ahmed, Amal 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of Open Interactive Markov Chains
  Brazdil, Tomas ; Hermanns, Holger ; Krcal, Jan ; Kretinsky, Jan ; Rehak, Vojtech 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)
  Birkedal, Lars ; Dreyer, Derek ; Gardner, Philippa ; Shao, Zhong