Model Checking II

21 Novembro 2017, 18:30 • Vasco Manuel Thudichum de Serpa Vasconcelos

  • Modelling concurrent systems with Promela

    • Concurrency

    • Shared memory

    • Linear Temporal Logic