Next:
FM01 Set-theoretic/topological
Up:
A Survey of Formal
Previous:
Tentative Body of Knowledge
 
Contents
Survey of Courses per Topic
Subsections
FM01 -- Set-theoretic/topological foundations of Formal Methods
FM02 -- Logical foundations of Formal Methods
FM03 -- Type-theoretic foundations of Formal Methods
FM04 -- Algebraic foundations of Formal Methods
FM05 -- Property oriented Specification
FM06 -- Model oriented specification
FM07 -- Multi-paradigm specification
FM08 -- Correct by construction
FM09 -- Correct by verification
FM10 -- Correct by machine checking
FM11 -- Refinement techniques
FM12 -- Programming Language Semantics
FM13 -- Formalizing distribution, concurrency and mobility
FM14 -- Declarative programming
FM15 -- Other topics
2004-11-04