Computational Tree Logic

Sort options

Quantitative Model Checking (Coursera)

Apr 22nd 2024
Quantitative Model Checking (Coursera)
Course Auditing
Categories
Effort
Languages
The integration of ICT (information and communications technology) in different applications is rapidly increasing in e.g. Embedded and Cyber physical systems, Communication protocols and Transportation systems. Hence, their reliability and dependability increasingly depends on software. Defects can be fatal and extremely costly (with regards to mass-production of products and [...]