vissza a tantárgylistához   nyomtatható verzió    

    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 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