Behavioural Equivalences

Sort options

System Validation: Automata and behavioural equivalences (Coursera)

Sep 26th 2022
System Validation: Automata and behavioural equivalences (Coursera)
Course Auditing
Categories
Effort
Languages
Have you ever experienced software systems failing? Websites crash, calendar not synchronising, or even a power blackout. Of course you have! But did you know that many of these errors are the result of communication errors either within a system or between systems? Depending on the system, the impact [...]