Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings /

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections...

Full description

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Huisman, Marieke (Editor), Păsăreanu, Corina (Editor), Zhan, Naijun (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition:	1st ed. 2021.
Series:	Programming and Software Engineering ; 13047
Subjects:	Software engineering. Computers. Special purpose computers. Software Engineering/Programming and Operating Systems. Theory of Computation. Special Purpose and Application-Based Systems. Electronic books.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

Invited Presentations. - Interactive Theorem Proving
Neural Networks and Active Learning
Logics and Theory
Program Verification I
Hybrid Systems
Program Verification II
Automata
Analysis of Complex Systems
Probabilities
Industry Track Invited Papers
Industry Track
Divide et Impera: Efficient Synthesis of Cyber-Physical System.