↓ Skip to main content
What is this page? Embed badge

Structured Object-Oriented Formal Language and Method

Overview of attention for book
Cover of 'Structured Object-Oriented Formal Language and Method'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Software Construction Monitoring and Predicting for Human-Machine Pair Programming
  3. Altmetric Badge
    Chapter 2 Dataset Diversity for Metamorphic Testing of Machine Learning Software
  4. Altmetric Badge
    Chapter 3 Research Review on Web Service Composition Testing
  5. Altmetric Badge
    Chapter 4 Runtime Verification Method for Social Network Security Based on Source Code Instrumentation
  6. Altmetric Badge
    Chapter 5 Verification of SysML Activity Diagrams Using Hoare Logic and SOFL
  7. Altmetric Badge
    Chapter 6 Model Checking Java Programs with MSVL
  8. Altmetric Badge
    Chapter 7 Formal Specification and Verification for Real-Time Scheduling Based on PAR
  9. Altmetric Badge
    Chapter 8 Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL
  10. Altmetric Badge
    Chapter 9 On Semantics for Mediator : A Coalgebraic Perspective
  11. Altmetric Badge
    Chapter 10 A Blockchain Implementation of an Attendance Management System
  12. Altmetric Badge
    Chapter 11 State-of-the-Art and Future Trends of Blockchain Based on DAG Structure
Attention for Chapter 6: Model Checking Java Programs with MSVL
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Model Checking Java Programs with MSVL
Chapter number 6
Book title
Structured Object-Oriented Formal Language and Method
Published by
Springer, Cham, November 2018
DOI 10.1007/978-3-030-13651-2_6
Book ISBNs
978-3-03-013650-5, 978-3-03-013651-2
Authors

Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao

View on publisher site

This page is provided by Altmetric.