Formal Methods Teaching: 4th International Workshop and Tutorial, Fmtea 2021, Virtual Event, November 21, 2021, Proceedings

Introducing Formal Methods to First-Year Students in Three Intensive Weeks.- Online Teaching of Verification of C Programs in Applied Computer Science.- A Proposal for a Framework to Accompany Formal Methods.- Learning Tools.- Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games Increasing Student Self-Reliance and Engagement in ModelChecking Courses.- Teaching Formal Methods to Software Engineers through Collaborative Learning.- Lessons of Formal Program Design in Dafny.- Teaching Correctness-by-Construction and Post-hoc Verification -The Online Experience.- Using Isabelle in Two Courses on Logic and Automated Reasoning.- Introducing Formal Methods to Students who Hate Maths and Struggle with Programming.

• Format: Paperback
• Language: English
• ISBN: 3030915492
• ISBN13: 9783030915490
• Release Date: November 2021
• Publisher: Springer
• Length: 147 Pages
• Weight: 0.53 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"