Table of Contents: Formal Methods: Foundations and Applications

Cover Image

QR Code

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings /

Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Corporate Author:	SpringerLink (Online service)
Other Authors:	Massoni, Tiago. (Editor, http://id.loc.gov/vocabulary/relators/edt), Mousavi, Mohammad Reza. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Edition:	1st ed. 2018.
Series:	Programming and Software Engineering ; 11254
Subjects:	Software engineering. Programming languages (Electronic computers). Computer programming. Computer logic. Mathematical logic. Algorithms. Software Engineering. Programming Languages, Compilers, Interpreters. Programming Techniques. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Algorithm Analysis and Problem Complexity.
Online Access:	https://doi.org/10.1007/978-3-030-03044-5

Table of Contents:

Techniques and methodologies
Specification and modeling languages
Theoretical foundations
Verification and validation
Experience reports regarding teaching formal methods
Applications.