Dear all, We continue our Formal Methods Teaching tutorials series with a lecture on Friday, May 29, at 3 pm CEST!
Prof Peter Csaba Ölveczky has worked in Formal Methods especially in the areas of: - formal specification and verification - rewriting logic - distributed and cyber-physical systems - real-time and embedded systems - executable formal semantics. In education, Prof. Ölveczky is well known for promoting the integration of formal methods into mainstream computer science teaching. His work often combines rigorous theoretical foundations with practically executable models, helping students connect formal reasoning with realistic systems engineering problems. His tutorial argues for the suitability of Maude in teaching: "Introducing Formal Methods for/and Distributed Systems Using Maude". The abstract follows below: "I have used rewriting logic and the Maude tool to introduce formal methods for/and distributed systems to undergraduate students in Oslo for 20+ years. In this talk I first argue that Maude should be a very good choice for introducing formal modeling of distributed systems to undergraduate students: The Maude formalism is intuitive, general, and expressive, and students tend to like the functional-programming-style executable modeling in Maude. Furthermore, since it is fairly easy to model distributed systems in Maude, students can quickly model and analyze central distributed systems, such as distributed commit protocols, mutual exclusion algorithms, leader election algorithms, and consensus algorithms, as well as transport protocols and cryptographic protocols in such an introductory formal methods course. I then give an overview of the course and its textbook “Designing Reliable Distributed Systems,” before concluding by summarizing student feedback and my own impressions about the course." The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS: for more info, here is the tutorial series webpage: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
