Pensumboken er
Peter C. ?lveczky: Formal Modeling and Analysis of Distributed Systems: An introduction based on executable modeling in Maude.
tilgjengelig p? emnets semesterside.
Som hovedregel er "boken", alle forelesninger med foiler, ukeoppgaver med l?sningsforslag og obligatoriske oppgaver pensum. Fra kompendiet utg?r fotnoter og de markerte "ikke-pensum" delene. Kapitlene 7 og 16 er ikke pensum i INF3232.
English: The book draft
Peter C. ?lveczky: Formal Modeling and Analysis of Distributed Systems: An introduction based on executable modeling in Maude.
the main "textbook" for this course and is available from the course web page.
As a rule, these lecture notes, as well as all the lectures, supplementary material, exercises with their solutions, and mandatory assignments define the core curriculum of the course. However, the footnotes and those parts of the course book that are explicitly marked as non-core reading are not required reading. Chapters 7 and 16 are not part of the curriculum of INF3232.
INF4232
Pensum for INF4232 er som for INF3232, og i tillegg kommer temporallogikken (Kapittel 16) og noe annet.
The curriculum for INF 4232 extends the one for INF 3232 with temporal logic and temporal logic model checking (Chapter 16 of the book).
St?ttelitteratur/Supplementary resources
Filen prelude.maude leses inn automatisk av Maude og inneholder blant annet definisjonen av de innebygde modulene. Nyttig!
The file prelude.maude is read automatically by Maude and includes the definition of the built-in modules.
Maude-manualen anbefales for ? l?re mer om Maude og dens kommandoer.
The Maude manual is obviously a crucial resource.