Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319901039, 9783319901046

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Cooperative Graph Searching Problem

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-90104-6_3 ◽

2018 ◽

pp. 39-47

Author(s):

Chin-Fu Lin ◽

Ondřej Navrátil ◽

Sheng-Lung Peng

Keyword(s):

Graph Searching

Download Full-text

Graphically Perceiving Characteristics of the MCS Lock and Model Checking Them

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-90104-6_1 ◽

2018 ◽

pp. 3-23

Author(s):

Tam Thi Thanh Nguyen ◽

Kazuhiro Ogata

Keyword(s):

Model Checking

Download Full-text

A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-90104-6_13 ◽

2018 ◽

pp. 200-217

Author(s):

Dorian Daudier ◽

Trinh Ngoc Quoc Bao ◽

Kazuhiro Ogata

Keyword(s):

Formal Verification ◽

Programming Language

Download Full-text

A Software Tool to Support Scenario-Based Formal Specification for Error Prevention

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-90104-6_12 ◽

2018 ◽

pp. 187-199 ◽

Cited By ~ 1

Author(s):

Siyuan Li ◽

Shaoying Liu

Keyword(s):

Formal Specification ◽

Software Tool ◽

Error Prevention

Download Full-text

A Software Tool to Support the “Vibration’’ Method

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-90104-6_11 ◽

2018 ◽

pp. 171-186 ◽

Cited By ~ 1

Author(s):

Pan Zhao ◽

Shaoying Liu

Keyword(s):

Software Tool ◽

Vibration Method

Download Full-text

A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-90104-6_9 ◽

2018 ◽

pp. 133-147

Author(s):

Xiaobing Wang ◽

Liyuan Ren ◽

Liang Zhao ◽

Xinfeng Shu

Keyword(s):

Social Networks

Download Full-text

Extending UML for Model Checking

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-90104-6_6 ◽

2018 ◽

pp. 88-107 ◽

Cited By ~ 1

Author(s):

Xinfeng Shu ◽

Mengnan Wang ◽

Xiaobing Wang

Keyword(s):

Model Checking

Download Full-text

An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-90104-6_2 ◽

2018 ◽

pp. 24-35

Author(s):

Fumiko Nagoya ◽

Shaoying Liu

Download Full-text

Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-90104-6_4 ◽

2018 ◽

pp. 51-68

Author(s):

Haitao Zhang ◽

Zhuo Cheng ◽

Jianxin Xue ◽

Yonggang Lu

Download Full-text

The Complexity of Linear-Time Temporal Logic Model Repair

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-90104-6_5 ◽

2018 ◽

pp. 69-87 ◽

Cited By ~ 1

Author(s):

Xiuting Tao ◽

Guoqiang Li

Keyword(s):

Temporal Logic ◽

Linear Time ◽

Logic Model ◽

Model Repair ◽

Linear Time Temporal Logic

Download Full-text

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

On the Cooperative Graph Searching Problem

Graphically Perceiving Characteristics of the MCS Lock and Model Checking Them

A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler

A Software Tool to Support Scenario-Based Formal Specification for Error Prevention

A Software Tool to Support the “Vibration’’ Method

A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks

Extending UML for Model Checking

An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing

Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach

The Complexity of Linear-Time Temporal Logic Model Repair

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science
Latest Publications