Formal Methods: Foundations and Applications by Maurice H Ter Beek
This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025.
The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations.
-
To the Ends of the Earth
-
Computational Logic in Multi-Agent Systems
-
Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems
-
Computational and Corpus-Based Phraseology
-
Replication
-
Autonomous Intelligent Systems: Multi-Agents and Data Mining
-
Genetic Programming
-
Transactional Agents
-
Computer Safety, Reliability, and Security
-
Performance Evaluation of Complex Systems: Techniques and Tools
-
Evolutionary Computation in Combinatorial Optimization
-
Extended Reality
-
Static Analysis
-
Informatics in Schools. Challenges and Opportunities in Informatics Education in the Era of AI
-
Cognitive Computing - ICCC 2026
-
Computer Information Systems and Industrial Management
-
Pattern Recognition. ICPR 2026 International Workshops
-
Computational Logistics
- Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems
-
Software and Systems Reuse, Product Lines, and Configuration
-
OpenMP: Adaptability for Heterogeneous Multi‑Device Systems
-
Logic Programming and Nonmonotonic Reasoning
-
Advances in Databases and Information Systems
-
Financial Cryptography and Data Security
-
Journeys Between Formal Methods and the Railway Industry
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
-
Formal Methods for Industrial Critical Systems
-
Critical Systems: Formal Methods and Automated Verification
-
Coordination Models and Languages
-
Web Services and Formal Methods
-
Integrated Formal Methods
-
From Software Engineering to Formal Methods and Tools, and Back
-
Formal Methods – The Next 30 Years
| SKU | Unavailable |
| ISBN 13 | 9783032120854 |
| ISBN 10 | 3032120853 |
| Title | Formal Methods: Foundations and Applications |
| Author | Maurice H Ter Beek |
| Series | Lecture Notes In Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer Nature Switzerland AG |
| Year published | 2025-11-27 |
| Number of pages | 243 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |