„Program verification“

Suchergebnisse

1.065 Treffer

• Verification of Golog Programs over Description Logic Actions
  Baader, Franz ; Zarrieß, Benjamin 2022 Technische Universität Dresden
• TReMo+: Modeling Ternary and Binary ReRAM-Based Memories With Flexible Write-Verification Mechanisms
  Hosseinzadeh, Shima ; Biglari, Mehrdad ; Fey, Dietmar 2021 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Modellbasierte Laufzeitüberprüfung vernetzter eingebetteter Systeme
  Drabek, Christian ; Bauer, Bernhard 2021 Universität Augsburg
• Synthesizing realistic verification tasks
  Jasper, Marc ; Steffen, Bernhard ; Siegel, Stephen F. 2021 Universitätsbibliothek Dortmund
• Information Flow Control in Software DB Units Based on Formal Verification
  Timakov, A. A.
• 23rd International Conference on Types for Proofs and Programs (TYPES 2017)
  Abel, Andreas ; Nordvall Forsberg, Fredrik ; Kaposi, Ambrus 2019 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Software Engineering: Specification, Implementation, Verification
  Alagić, Suad 2017 Springer International Publishing
• On Sets and Graphs – Perspectives on Logic and Combinatorics
  Omodeo, Eugenio ; Policriti, Alberto ; Tomescu, Alexandru I. 2017 Springer International Publishing
• Performance of HDL-C measurements assessed by a 4-year trueness-based EQA/PT program in China
  Zhou, Weiyan ; Luo, Wenbo ; Yu, Songlin ; Li, Hongxia ; Wang, Donghuan ; Zhang, Jiangtao ; Wang, Siming ; Zeng, Jie ; Zhang, Chao ; Zhao, Haijian ; Zheng, Hao ; Dong, Jun ; Chen, Wenxiang ; Zhang, Chuanbao
• Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming
  Lin, Wang ; Yang, Zhengfeng ; Ding, Zuohua
• Parameterized verification of leader/follower systems via first-order temporal logic
  Kourtis, G. ; Dixon, Clare ; Fisher, Michael ; Lisitsa, A.
• Verification of the Capability Exchange Signalling protocol
  Liu, Lin ; Billington, Jonathan
• Incremental software product line verification - A performance analysis with dead variable code
  Kröher, Christian ; Flöter, Moritz ; Gerling, Lea ; Schmid, Klaus
• Specification and verification challenges for sequential object-oriented programs
  Leavens, Gary T. ; Leino, K. Rustan M. ; Müller, Peter
• Highly dependable concurrent programming using design for verification
  Betin-Can, Aysu ; Bultan, Tevfik
• Formal verification of OIL component specifications using mCRL2
  Bunte, Olav ; Gool, Louis C. M. van ; Willemse, Tim A. C.
• Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture
  Binder, Benjamin ; Asavoae, Mihail ; Brandner, Florian ; Ben Hedia, Belgacem ; Jan, Mathieu
• Formal verification of group and propagated trust in multi-agent systems
  Drawel, Nagat ; Bentahar, Jamal ; Laarej, Amine ; Rjoub, Gaith
• Verification of multi-layered assignment problems
  Steindl, Barak ; Zehavi, Meirav
• Approximate verification of concurrent systems using token structures and invariants
  Antonino, Pedro ; Gibson-Robinson, Thomas ; Roscoe, A. W.