Arvutiteaduse instituut
  1. Kursused
  2. 2013/14 sügis
  3. Formaalmeetodid tarkvaratehnikas (MTAT.03.274)
EN
Logi sisse

Formaalmeetodid tarkvaratehnikas 2013/14 sügis

  • Home
  • Lectures
  • Homework
  • Links

Lectures & Labs

Schedule

DateTopicAdditional Material
04.09.2013OrientationTesting or Formal Verification.
06.09.2013Pre- and Post-ConditionsLICS, p. 256-284
11.09.2013Loop InvariantsLICS, p. 284-292
18.09.2013VC GenerationLICS, p. 296-299, Translation Scheme, Dream Property
25.09.2013CodeContractsCodeContracts Manual
02.10.2013Data Flow AnalysisCompiler Design Sections 1.5-1.6. (Access from UT network!)
09.10.2013Assertion CheckingCompiler Design Sections 1.9-1.10.
23.10.2013Symbolic ExecutionCACM Review, DART paper
30.10.2013Simplex MethodDP Chapter 5, Original paper
22.11.2013Model-Based TestingGraph Theory MBT, ModelJUnit, Chinese Postman
27.11.2013Labelled Transition SystemsMBT with Labelled Transition Systems
29.11.2013NModelGuest lecture by Juhan Ernits

Lecture Notes

Lecture notes, as very much else, are under construction. Currently, these offer more convenient ways of viewing the slides:

  • All Slides (printable)
  • Lecture Notes
  • Arvutiteaduse instituut
  • Loodus- ja täppisteaduste valdkond
  • Tartu Ülikool
Tehniliste probleemide või küsimuste korral kirjuta:

Kursuse sisu ja korralduslike küsimustega pöörduge kursuse korraldajate poole.
Õppematerjalide varalised autoriõigused kuuluvad Tartu Ülikoolile. Õppematerjalide kasutamine on lubatud autoriõiguse seaduses ettenähtud teose vaba kasutamise eesmärkidel ja tingimustel. Õppematerjalide kasutamisel on kasutaja kohustatud viitama õppematerjalide autorile.
Õppematerjalide kasutamine muudel eesmärkidel on lubatud ainult Tartu Ülikooli eelneval kirjalikul nõusolekul.
Tartu Ülikooli arvutiteaduse instituudi kursuste läbiviimist toetavad järgmised programmid:
euroopa sotsiaalfondi logo it akadeemia logo