Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

Title:

Author:

Barbosa, Haniel. editor.

ISBN:

9783031493423

Edition:

1st ed. 2024.

Physical Description:

XXII, 153 p. 39 illus., 17 illus. in color. online resource.

Series:

Lecture Notes in Computer Science, 14414

Abstract:

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions. The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.

Subject Term:

Software engineering.

Natural language processing (Computer science).

Logic programming.

Computer science.

Computers, Special purpose.

Computer networks .

Natural Language Processing (NLP).

Logic in AI.

Theory of Computation.

Special Purpose and Application-Based Systems.

Computer Communication Networks.