Applying Formal Methods in Real-World Scenarios
What you will learn
Learn Concurrency from Scratch: Formal Methods are the basis of any concurrent system.
How to apply Formal Methods, including FSP and LTS, to model and analyze complex software and hardware systems.
Gain hands-on experience in translating real-world scenarios into formal models, ensuring system correctness and reliability.
Develop the ability to identify, analyze, and resolve issues related to system behavior and concurrency enhancing their problem-solving skills.
Cultivate critical thinking skills that are essential for addressing complex computer science problems.
English
language