Overview
Part of the book series: Communications in Computer and Information Science (CCIS, volume 1301)
Included in the following conference series:
Conference proceedings info: FMFun 2019.
Buy print copy
About this book
This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods – Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.
The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected from 15 submissions. A white paper and two keynote papers are also included. The papers explore ways of utilizing the pathway to transforming and spreading formal methods. The vision of this workshop series is that formal methods ought to be taught in such a way that every student can have fun with it.
Similar content being viewed by others
Keywords
- architecture validation
- architecture verification
- artificial intelligence
- computer hardware description languages
- computer programming
- education
- embedded systems
- formal languages
- formal logic
- formal methods
- formal model
- model checking
- object-oriented programming
- software architecture
- software design
- software engineering
Table of contents (12 papers)
-
Front Matter
-
Back Matter
Other volumes
-
Formal Methods – Fun for Everybody
Editors and Affiliations
Bibliographic Information
Book Title: Formal Methods – Fun for Everybody
Book Subtitle: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers
Editors: Antonio Cerone, Markus Roggenbach
Series Title: Communications in Computer and Information Science
DOI: https://doi.org/10.1007/978-3-030-71374-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-71373-7Published: 11 March 2021
eBook ISBN: 978-3-030-71374-4Published: 10 March 2021
Series ISSN: 1865-0929
Series E-ISSN: 1865-0937
Edition Number: 1
Number of Pages: IX, 227
Number of Illustrations: 13 b/w illustrations, 21 illustrations in colour
Topics: Computers and Education, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Artificial Intelligence