„Formel Verification“

Suchergebnisse

19 Treffer

• On safety verification using PDR and Reverse PDR
  Seufert, Tobias ; Scholl, Christoph ; Biere, Armin 2023 Universität
• Verification of programmable logic controller code using model checking and static analysis
  Biallas, Sebastian ; Kowalewski, Stefan ; Fay, Alexander 2016 Universitätsbibliothek der RWTH Aachen
• WoLFram - A Word Level Framework for Formal Verification and its Application
  Sülflow, André 2010 Shaker
• Verification of Programmable Logic Controller Code using Model Checking and Static Analysis
  Biallas, Sebastian 2016 Shaker
• Verification of programmable logic controller code using model checking and static analysis
  Biallas, Sebastian 2016 Shaker Verlag
• Runtime Verification Using a Temporal Description Logic Revisited
  Baader, Franz ; Lippmann, Marcel 2022 Technische Universität Dresden
• Analyse d'ordonnançabilité des STR multiprocesseur basée sur les RdPs
  Karamti, Walid 2017 Éditions universitaires européennes
• Méthodes formelles pour le parallélisme – Spécification, modélisation et vérification des systèmes concurrents
  Boughareb, Djalila 2019 Éditions universitaires européennes
• Une Approche de Spécification des Changements de Besoins
  Khalfaoui, Khaled 2019 Éditions universitaires européennes
• Modèles de temps pour la vérification des systèmes temps-réel
  Belala, Nabil 2018 Éditions universitaires européennes
• Preuves d'Algorithmes Distribués par Composition et Raffinement
  Bousabbah, Maha 2018 Presses Académiques Francophones
• L'approche UML+RT-Lotos pour la Spécification et la Validation – Cas des systèmes embarqués et temps réel
  Messabihi, Mohamed 2017 Éditions universitaires européennes
• Développement Formel des Systèmes Automatisés – B événementiel et les propriétés de vivacité
  Mosbahi, Olfa 2012 Presses Académiques Francophones
• Conception de systèmes d'information inter-organisationnels
  Bouchbout, Khoutir 2015 Éditions universitaires européennes
• WoLFram - a word level framework for formal verification and its application
  Sülflow, André 2010 Shaker
• Modeling the unknown using quantification
  Miller, Christian 2014 Der Andere Verl.
• Synthèse et Compilation de Services Web Sécurisés
  Mekki, Mohamed Anis 2014 Éditions universitaires européennes
• Sûreté des systèmes matériels – Vérification formelle, compositionnelle et automatique de systèmes de composants
  Ayache, Nicolas 2017 Presses Académiques Francophones
• Langage de spécification par propriétés (Cours + TD)
  Ouni, Bouraoui 2016 Éditions universitaires européennes