Promela și logici temporale: verificarea sistemelor concurente

# Limbajul Promela. Logici Temporale ## Introducere Tehnologiile software moderne, din ce în ce mai complexe, cer metode riguroase de proiectare, analiză și verificare. Sistemele distribuite și cele concurente – fie ele sisteme informatice de...