Annikka Aalto

Learn More
Designing, implementing and testing parallel and concurrent programs have traditionally been complex and error-prone tasks. Due to the concurrency and asynchronous communication within the system, the internal behavior of the system tends to be highly nondeterministic and error conditions may be impossible to reproduce. Formal methods address the problem by(More)
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which is analyzed using the Maria reachability analyzer. Compared to manual design of a formal model for the system this saves a lot of time and greatly reduces the human mistakes in(More)
  • 1