Limit search to available items
Book Cover
E-book
Author SOFL+MSVL (Workshop) (10th : 2020 : Online)

Title Structured object-oriented formal language and method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised selected papers / Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan (eds.)
Published Cham : Springer, 2021

Copies

Description 1 online resource
Series Lecture notes in computer science ; 12723
LNCS sublibrary, SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 12723
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Contents Modeling and Specification -- Model Checking -- Specification and Verification -- Testing and Formal Verification
Summary This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification. Due to the Corona pandemic this event was held virtually
Notes Includes author index
Subject Formal methods (Computer science) -- Congresses
Object-oriented methods (Computer science) -- Congresses
Formal methods (Computer science)
Object-oriented methods (Computer science)
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Xue, Jinyun, editor
Nagoya, Fumiko, editor
Liu, Shaoying, 1960- editor
Duan, Zhenhua, editor
ISBN 9783030774745
3030774740
Other Titles SOFL+MSVL 2020