@ FII

Formal Methods in Software Engineering

• Back to main
• Useful links and Bibliography
• Course description
  • Software Engineering
  • Distributed Systems
• Schedule
• Email: andrei.arusoaie@uaic.ro

FINAL TEST: Saturday, 10am (check the Discord server)

[Top]

Weekly activities

• Week 1
  • Slides
  • Lab
• Week 2
  • Slides
  • A bunch of basic notions
  • Lab
• Week 3
  • Live demo
  • Lecture notes
  • Lab
• Week 4
  • Slides
  • Lab
• Week 5
  • Slides
  • Lab
  • Alternative documentation
• Week 6
  • Slides
  • Lab
  • Forward with Hoare
  • Assigning Meanings to Programs
• Week 7
  • Slides
  • Lab
  • Dafny, Reference Manual
  • Tutorial Exercises
• Week 8
  • Midterm exam
• Week 9
  • Lecture notes
  • Lab
  • Maude
  • Maude Manual
• Week 10
  • Demo
  • Lean
  • Lab
• Week 11
  • Demo
  • Proving in Lean
  • Lab
• Week 12
  • Notes & complete implementation
  • Lab
• Week 13
  • Slides
  • Notes & associated implementation
  • Lab
• Week 14
  • Slides
  • Lab

Useful links and Bibliography

[1] Michael Huth, Mark Ryan. Logic In Computer Science. Modelling and Reasoning about Systems.

[2] Thomas Noll. Static Program Analysis. RWTH Aachen University, 2016/2017. link

[3] Flemming Nielson, Hanne R. Nielson, Chris Hankin: Principles of Program Analysis. 2nd edition, Springer, 2005

[4] University of Pennsylvania, CIS 700: Software Analysis and Testing (Fall 2018) link

[5] Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn Talcott, Maude Manual, 2024 link

[6] Benjamin C. Pierce, Types and Programming Languages, MIT Press, 2002.

[7] Leslie Lamport, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, ISBN-13 978-0321143068, 2002

[8] Glynn Winskel, The formal semantics of programming languages - an introduction. MIT Press 1993, ISBN 978-0-262-23169-5.

[Top]