Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13854)
Included in the following conference series:
Conference proceedings info: SOFL+MSVL 2022.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification.
.
Similar content being viewed by others
Keywords
- Formal methods
- Model Checking
- Formal Logic
- Architecting
- Software tools
- architecting
- architecture verification and validation
- artificial intelligence
- verification
- software quality
- software engineering
- software design
- software architecture
- signal processing
- model checking
- mathematics
- linguistics
- formal logic
- engineering
- embedded systems
Table of contents (12 papers)
-
Model Checking and Markov Decision Process
-
Model Analysis and Tool Implementation
Editors and Affiliations
Bibliographic Information
Book Title: Structured Object-Oriented Formal Language and Method
Book Subtitle: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Editors: Shaoying Liu, Zhenhua Duan, Ai Liu
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-29476-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023
Softcover ISBN: 978-3-031-29475-4Published: 25 March 2023
eBook ISBN: 978-3-031-29476-1Published: 24 March 2023
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 151
Number of Illustrations: 35 b/w illustrations, 24 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Operating Systems, Computer Communication Networks, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming