„Program verification“
Suchergebnisse
1.065 Treffer
-
Parameterized verification through view abstraction
-
Formal verification of software source code through semi-automatic modeling
-
Formalised EMFTVM bytecode language for sound verification of model transformations
-
Multi-agent systems: modeling and verification using hybrid automata
-
Emulateur programmable de conditions de charge d’un VE – Émulation à base une association machine convertisseur pour la vérification du système d’entrainement