Title: Verification, model checking, and abstract interpretation
Subjects: Computer programs, Congresses, Verification, Logiciels, Congrès, Vérification, COMPUTERS, Software Development & Engineering, Quality Assurance & Testing, Abstrakte Interpretation, Formale Methode, Kongress, Model Checking, Programmanalyse, Programmverifikation, Vérification de logiciels, Model-checking (Informatique), Méthode formelle