Formal Methods

A tantárgy neve magyarul / Name of the subject in Hungarian: Formális módszerek

Last updated: 2012. november 25.

Budapest University of Technology and Economics
Faculty of Electrical Engineering and Informatics
Course ID Semester Assessment Credit Tantárgyfélév
VIMIM100 1 3/0/0/f 4  
3. Course coordinator and department Dr. Majzik István,
6. Pre-requisites
Kötelező:
NEM ( TárgyEredmény( "BMEVIMIMA07" , "jegy" , _ ) >= 2
VAGY
TárgyEredmény("BMEVIMIMA07", "FELVETEL", AktualisFelev()) > 0)

A fenti forma a Neptun sajátja, ezen technikai okokból nem változtattunk.

A kötelező előtanulmányi rendek grafikus formában itt láthatók.

8. Synopsis As the complexity of information systems and the costs of potential failures are increasing, it becomes more and more important to prove that the design of the critical system components is correct. One of the typical solutions for the challenge of provenly correct design is the application of formal methods. Mathematically precise modelling and analysis allow the early verification of design choices, the proof of correctness with respect to several requirements, and then the automated software or hardware synthesis. The subject provides an overview of the formal background needed for the elaboration and analysis of the formal models of IT systems and components: the modelling paradigms, the widely used formal modelling languages, and the analysis and simulation based verification techniques. The subject demonstrates the application of formal methods in the field of system-level modelling, software design, verification and synthesis.
14. Required learning hours and assignment
Kontakt óra
Félévközi készülés órákra
Felkészülés zárthelyire
Házi feladat elkészítése
Kijelölt írásos tananyag elsajátítása
Vizsgafelkészülés
Összesen