logo-polimi
Loading...
Degree programme
Programme Structure
Show/Search Programme
Course Details
Save Document
Degree Programme
Read Degree Programme
Faculty
Infrastructures
Quantitative data
International context
Customized Schedule
Your customized time schedule has been disabled
Enable
Search
Search a Professor
Search a Course
Search a Course (system prior D.M. n. 509)
Search Lessons taught in English

Glossary
Semester (Sem)
1First Semester
2Second Semester
AAnnual course
Educational activities
BIdentifying activities
Language
Course completely offered in italian
Course completely offered in english
--Not available
Innovative teaching
The credits shown next to this symbol indicate the part of the course CFUs provided with Innovative teaching.
These CFUs include:
  • Subject taught jointly with companies or organizations
  • Blended Learning & Flipped Classroom
  • Massive Open Online Courses (MOOC)
  • Soft Skills
Course Details
Context
Academic Year 2019/2020
School School of Industrial and Information Engineering
Name (Master of Science degree)(ord. 270) - MI (481) Computer Science and Engineering
Track T2A - COMPUTER SCIENCE AND ENGINEERING
Programme Year 1

Course Details
ID Code 055207
Course Title AUTOMATED VERIFICATION AND MONITORING OF TIMED SYSTEMS
Course Type Mono-Disciplinary Course
Credits (CFU / ECTS) 5.0
Semester --
Course Description The goal of this course is to present the state-of-the-art techniques and tools for the automated formal verification and monitoring of real-time systems, in particular those requiring a continuous notion of time. These techniques are especially useful for the formal analysis of safety-critical embedded and cyber-physical systems. The course provides the theoretical foundations of the formal analysis of real-time systems, and demonstrates some of the state-of-the-art tools in this field.
Scientific-Disciplinary Sector (SSD)
Educational activities SSD Code SSD Description CFU
B
ING-INF/05
INFORMATION PROCESSING SYSTEMS
5.0

Schedule, add and removeAlphabetical groupProfessorLanguageCourse details
From (included)To (excluded)
--AZZZZBersani Marcello Maria
manifesti v. 3.1.7 / 3.1.7
Area Servizi ICT
14/11/2019