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

Links and Literature

Specific reading assignments will be given during the lectures. The following is a list of material the course is based on. You may find it useful, but it is not required.

Books

  • Logic in Computer Science: Modelling and Reasoning about Systems
  • The Calculus of Computation: Decision Procedures with Applications to Verification
  • Model-Based Software Testing and Analysis with C#
  • Practical Model-Based Testing: A Tools Approach
  • Principles of Model Checking
  • The SPIN Model Checker: Primer and Reference Manual
  • Principles of Program Analysis

Similar Courses

  • Chalmers: Software Engineering using Formal Methods
  • Chalmers: Model-Based Testing
  • Queen's: Formal Methods in Software Engineering
  • JKU: Formal Methods in Software Development
  • UW: Formal Verification of Computer Systems
  • UC Berkeley: Computer-Aided Verification
  • UPenn: Computer Aided Verification
  • Oxford: Computer-Aided Formal Verification
  • CMU: Automated Program Verification
  • UCSB: Automated Verification
  • EPFL: Synthesis, Analysis, and Verification
  • W&M: Automated Logical Reasoning
  • DAIMI: Automated Reasoning
  • WWU: Model Checking
  • TUM: Model Checking
  • Caltech: Logic Model Checking
  • RWTH: Introduction to Model Checking
  • RWTH: Static Program Analysis
  • UCLA: Static Program Analysis
  • DTU/MSR: Advanced Analysis Techniques
  • TAU: Program Analysis
  • CMU: Program Analysis
  • MIT: Abstract Interpretation
  • 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