Virtual University

Activities, Limitations and Acceptance of Formal Methods, Seven Myths of Formal Methods (V-U)

Algebraic Specification: Rules and Methods (V-U)

Constructing Loops, The Dutch National Flag Problem (V-U)

Defensive Programming, Design by Contract (V-U)

Design by Contract and its Components (V-U)

Development of Concurrent System (Petri Nets), Behavioural Properties with Examples (V-U)

Development of Concurrent System, Conflict, Concurrency and Confusion, Behavioural Properties (V-U)

Dijkstra's Algorithm, Some useful Equivalances (V-U)

Hoare's Logic (Conditional and Control Flow, Invariant Condition) (V-U)

Hoare's Logic (Weakest Pre-condition and Loops) (V-U)

Hoare's Logic with Example (Tower of Hanoi) (V-U)

Hoare's Logic, Verification of Functions (V-U)

How to Specify Concurrent and Real Time System, Introduction to Petri Nets (V-U)

How to use Specification of Boolean, Pair, List, Quad and Bimap (V-U)

Implementation of Design by Contract (jContractor) (V-U)

Interface of Algebraic Specification and Larch (Family of Specification) Languages (V-U)

Introduction to Formal Methods (V-U)

Introduction to Hoare's Logic (V-U)

Larch Specification Languages (V-U)

Logic and Proposition, Logic problem, Golden Rule (V-U)

OBJ (Family of Specification) (Cont.) (V-U)

Logic and Set Theory, Logic Problem, Properties of Equivalance (V-U)

OBJ (Family of Specification) (V-U)

Model Based Specification, VDM (V-U)

Object Constraint Language (OCL) (Cont.) (V-U)