Title: Verifying concurrent processes using temporal logic
Subjects: Computer programs, Parallel processing (Electronic computers), Verification, Programmation structurée, Allocation ressource, Vérification, Programme parallèle, Programmierung, Heuristique, Programmverifikation, Logiciel - vérification, Vérification logiciel, Multitraitement, Protocole réseau, Logiciels, Logique temporelle, Parallelverarbeitung, Verifikation, Parallélisme (Informatique)