„Program verification“

Suchergebnisse

1.065 Treffer

• Parameterized verification through view abstraction
  Abdulla, Parosh ; Haziza, Frédéric ; Holík, Lukáš
• Formal verification of software source code through semi-automatic modeling
  Eisner, Cindy
• Formalised EMFTVM bytecode language for sound verification of model transformations
  Cheng, Zheng ; Monahan, Rosemary ; Power, James F.
• Multi-agent systems: modeling and verification using hybrid automata
  Mohammed, Ammar ; Furbach, Ulrich
• Emulateur programmable de conditions de charge d’un VE – Émulation à base une association machine convertisseur pour la vérification du système d’entrainement
  Roubache, Toufik 2016 Presses Académiques Francophones