Graduate Reading Course CS890BT: Formal Methods - Theory & Practice

Dr. Samira Sadaoui

Topics:

· Multiagent Interaction Protocols

· Temporal Constraint Satisfaction Problems

· Algebraic Specifications & Information Systems

Languages & Tools:

· Lotos, E-Lotos and Act One

· CADP,  APERO and EUCALYPTUS

· Temporal Logics: Mu-Calculus and XTL

· CafeOBJ

· PVS

Case Studies:

· Dynamic Online Auction Protocol (English Auction)

· Vending Machine (specific & generic)

· Newsgroup and News

· Map-Coloring Problem

· N-Queen Problem

· Temporal Problems

· Ticket System

· Trivial Pursuit