Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I
Buch in deiner Nähe kaufen
Beschreibung
The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18–22, 2026.
The 49 full and 2 short papers included in these proceedings were carefully reviewed and selected from 239 submissions. The proceedings also include 4 invited talks, 8 tutorial papers, and 9 papers from the industry day track. The contributions were organized in topical sections as follows:
Part I: Invited Papers; and Main Track (1)
Part II: Main Track (2); Tests and Proofs Track (TAP); Tutorial Track; and Industry Day Track
This book is open access, which means that you have free and unlimited access
Autor*in
Augusto Sampaio
Themen in »Formal Methods«
Open Access Formal specification Formal verification Model checking Theorem proving Program verification Static analysis Abstract interpretation Type systems Operational semantics Denotational semantics Axiomatic semantics Temporal logic Hoare logic Process algebras