Verification-as-a-Service for Parameter Assessment
Luca Spalazzi, Francesco Spegni · 2019
When a professional or researcher faces the task of analyzing some real-world IT system, being it a security protocol, a piece of software, or something else, it comes the moment when the system parameters are enumerated and for each of them he/she has to define its possible values.