„program verification“

Suchergebnisse

1.065 Treffer

• Verification of golog programs over description logic actions
  Zarrieß, Benjamin 2018
• Identity-based public data integrity verification scheme in cloud storage system via blockchain
  Yuan, Yilin ; Zhang, Jianbiao ; Xu, Wanshan ; Li, Zheng
• Parameterized verification of systems with component identities, using view abstraction
  Lowe, Gavin
• Evaluation of serum alkaline phosphatase measurement through the 4-year trueness verification program in China
  Wang, Jing ; Wang, Yufei ; Zhang, Tianjiao ; Zeng, Jie ; Zhao, Haijian ; Guo, Qi ; Yan, Ying ; Zhang, Jiangtao ; Zhou, Weiyan ; Chen, Wenxiang ; Zhang, Chuanbao
• Robustness verification of ReLU networks via quadratic programming
  Kuvshinov, Aleksei ; Günnemann, Stephan
• Correct approximation of IEEE 754 floating-point arithmetic for program verification
  Bagnara, Roberto ; Bagnara, Abramo ; Biselli, Fabio ; Chiari, Michele ; Gori, Roberta
• Evaluation of serum electrolytes measurement through the 6-year trueness verification program in China
  Yan, Ying ; Pu, Yungang ; Zeng, Jie ; Zhang, Tianjiao ; Zhou, Weiyan ; Zhang, Jiangtao ; Wang, Jing ; Zhang, Chao ; Chen, Wenxiang ; Zhang, Chuanbao
• Performance of electrolyte measurements assessed by a trueness verification program
  Ge, Menglei ; Zhao, Haijian ; Yan, Ying ; Zhang, Tianjiao ; Zeng, Jie ; Zhou, Weiyan ; Wang, Yufei ; Meng, Qinghui ; Zhang, Chuanbao
• Automotive Post-Collision Control Software System: Requirements and Verification
  Cisneros, J. R. Aguilar ; Fernández-y-Fernández, C. A. ; de la Rosa García, Genaro ; León, A.
• Database Management System Verification with Separation Logics
  Medina-Martínez, Diego ; Bárcenas, Everardo ; Molero-Castillo, Guillermo ; Velázquez-Mena, Alejandro ; Aldeco-Pérez, Rocío
• 2L-3W: 2-Level 3-Way Hardware–Software Co-verification for the Mapping of Convolutional Neural Network (CNN) onto FPGA Boards
  Odetola, Tolulope A. ; Groves, Katie M. ; Mohammed, Yousufuddin ; Khalid, Faiq ; Hasan, Syed Rafay
• Introducing Software Verification with Dafny Language – Proving Program Correctness
  2022 Apress
• Recursive automata on infinite words and the verification of concurrent programs
  Staiger, Ludwig 1991 Univ.-GH, Fachbereich Elektrotechnik und Informatik
• Unified verification and monitoring of executable UML specifications – A transformation-free approach
  Besnard, Valentin ; Teodorov, Ciprian ; Jouault, Frédéric ; Brun, Matthias ; Dhaussy, Philippe
• Verification of Compliance for Multilevel Models in Individual Trace Semantics
  Khoroshilov, A. V.
• Model-driven system-level validation and verification on the space software domain
  Montalvo, Aarón ; Parra, Pablo ; Rodríguez Polo, Óscar ; Carrasco, Alberto ; Silva, Antonio Da ; Martínez, Agustín ; Sánchez, Sebastián
• Formal verification of neural agents in non-deterministic environments
  Akintunde, Michael E. ; Botoeva, Elena ; Kouvaros, Panagiotis ; Lomuscio, Alessio
• PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
  Kwiatkowska, Marta Z. ; Parker, David ; Wiltsche, Clemens
• Modelling and verification of reconfigurable multi-agent systems
  Abd Alrahman, Yehia ; Piterman, Nir
• Verification, model checking, and abstract interpretation – 5th international conference ; proceedings
  Steffen, Bernhard 2004 Springer