Spin Model Checker.
bloqueado este. Los dos se quedarán esperando la liberación de alguno indefinidamente. Supuestos no conocidos Es una premisa confiable que los sistemas grandes deberían ser contruidos a partir de componentes más pequeños, cada uno de ellos puede ser diseñado y comprobado con un alto grado de