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

Structured Object-Oriented Formal Language and Method

Overview of attention for book
Structured Object-Oriented Formal Language and Method
Springer International Publishing

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
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

This page is provided by Altmetric.