BME VIK - Formális módszerek

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

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 rend az adott szak honlapján és képzési programjában található.

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