„modular verification“

Suchergebnisse

57 Treffer

• Modular Termination Verification
  Jacobs, Bart ; Bosnacki, Dragan ; Kuiper, Ruurd 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modular Verification of Finite Blocking in Non-terminating Programs
  Boström, Pontus ; Müller, Peter 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Summary-Based Inter-Procedural Analysis via Modular Trace Refinement
  Cassez, Franck ; Müller, Christian ; Burnett, Karla 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Using Abstraction in Modular Verification of Synchronous Adaptive Systems
  Schaefer, Ina ; Poetzsch-Heffter, Arnd 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Development and verification of connectors for modular robots to complete practical tasks on the moon
  Michikawa, Ryohei ; Hosotani, Kiona ; Shimizu, Yuya ; Chin, Ching Wen ; Wang, Xixun ; Hayakawa, Tomohiro ; Fujisawa, Ryusuke ; Kamegawa, Tetsushi ; Tanaka, Motoyasu ; Matsuno, Fumitoshi
• Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification
  Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian
• On the definition and verification of modular software systems
  Antoniou, Grigoris ; Sperschneider, Volker 1989 Univ., Fachbereich Mathematik/Informatik
• Modular Verification of Open Features Using Three-Valued Model Checking
  Li, Harry C. ; Krishnamurthi, Shriram ; Fisler, Kathi
• Modular compiler verification – a refinement algebraic approach advocating stepwise abstraction
  Müller-Olm, Markus 1997 Springer
• Modular specification and verification of object oriented programs
  Müller, Peter 2001 Fernuniv., Fachbereich Informatik
• Modeling and Verification of a Modular Level-Crossing Controller Design
  Hanisch, Hans-Michael ; Pannier, Torsten ; Peter, Dirk ; Roch, Stephan ; Starke, Peter
• Localized verification of modular designs
  Staunstrup, Jørgen ; Mellergaard, Niels
• Energy efficient triple-modular exponential techniques for batch verification schemes
  Vollala, Satyanarayana
• Abstraction and subsumption in modular verification of C programs
  Beringer, Lennart ; Appel, Andrew W.
• Refinement and separation: modular verification of wandering trees
  Schellhorn, Gerhard ; Bodenmüller, Stefan ; Reif, Wolfgang 2023 Universität Augsburg
• A Novel Decentralized Fixed-time Tracking Control for Modular Robot Manipulators: Theoretical and Experimental Verification
  Lu, Zengpeng ; Li, Yuanchun ; Li, Yan
• Modular Verification of SRT Division
  Ruess, Harald ; Shankar, Natarajan ; Srivas, Mandayam K.
• Modular Stack‐Internal Air Humidification Concept‐Verification in a 1 kW Stack
  Santis, M. ; Schmid, D. ; Ruge, M. ; Freunberger, S. ; Büchi, F.N.
• An IoT architecture to integrate different machine tools into a compound OPC UA interface
  Strutzenberger, Diana ; Kunz, Martin ; Schuster, Lisa Magdalena ; Mangler, Juergen ; Hinterbichler, Ronald
• Separating separation logic – modular verification of red-black trees
  Schellhorn, Gerhard ; Bodenmüller, Stefan ; Bitterlich, Martin ; Reif, Wolfgang 2023 Universität Augsburg