Currently browsing

Scalable Performance Analysis of Wireless Sensor Networks

Mahmoud Talebi first promotor: prof.dr.ir. Jan Friso Groote (TU/e) second promotor: prof.dr.ir. Jean-Paul Linnartz (TU/e) Eindhoven University of Technology Date: 25 October 2018 Thesis: PDF Summary The problem of state space explosion is one of the main challenges in verifying the correctness of software designs. This problem extends itself to …