Formal Methods: Foundations and Applications
Springer International Publishing (Verlag)
978-3-032-12085-4 (ISBN)
- Noch nicht erschienen - erscheint am 18.12.2025
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
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.
.- Formal Reasoning for Assuring Product Lines of Complex Systems.
.- Safe Evolution of Smart Contracts Supported by LLMs and Bounded Model Checking.
.- Exploring Modelling Language Engineering.
.- Process Algebras and Time
.- State-based Security and Time-Inserting Supervisors.
.- A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements using TASTD.
.- Formal Verification
.- Bridging the B-Method and ACSL: Towards Verified C Code.
.- A Research Agenda for the Living SysML v2 Blueprint: Toward Executable, Verifiable, and Navigable System Models.
.- Formal Verification of Epistemic States with Uncertainty in Multi-Agent Systems.
.- Testing
.- Deriving Sound Test Scripts from Requirements written in a Controlled Natural Language.
.- Executable Conformance Testing Theories: from Theory to Practice and Back.
.- Availability and Contracts
.- Availability Model and Evaluation of Bus Rapid Transit Surveillance System.
.- Resource Contracts for Active Objects.
.- Formal Methods and AI
.- Inference of Deterministic Finite Automata via Q-Learning.
.- Formal Development of a Safety Controller for Machine Learning Outputs in Vital Railway Systems.
.- Teaching and Foundations
.- The Turner 2-Strings Machines.
.- A Proof of the De Zolt Postulate in Three-dimensional Space.
| Erscheinungsdatum | 27.11.2025 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | XVIII, 243 p. 43 illus., 20 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Schlagworte | Abstract Machines • Contracts • controlled natural language • Coq Proof Assistant • Cyber-Physical Systems • domain-specific languages • Embedded Systems • Ethereum • formal methods • Formal Verification • linear temporal logic • Logic • machine learning • Modal Logic • Model Checking • nearest neighbors classification • Open Banking • Optimization • Path Planning • Performance • Privacy-Risk Analysis • Product lines • Quantitative Information Flow • Safety • security • signal temporal logics • Smart Contracts • Software engineering • Testing • Trajectory optimization • UML • UML activities • UML state machines • Validation |
| ISBN-10 | 3-032-12085-3 / 3032120853 |
| ISBN-13 | 978-3-032-12085-4 / 9783032120854 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
