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

9783319174037, 9783319174044

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications

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

10.1007/978-3-319-17404-4_3 ◽

2015 ◽

pp. 32-46

Author(s):

Jinghua Zhang ◽

Shaoying Liu

Keyword(s):

Software Tool

Download Full-text

A Memory Management Mechanism for MSVL

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

10.1007/978-3-319-17404-4_12 ◽

2015 ◽

pp. 179-188

Author(s):

Kai Yang ◽

Zhenhua Duan ◽

Cong Tian

Keyword(s):

Memory Management ◽

Management Mechanism

Download Full-text

Incremental Points-to Analysis for Java via Edit Propagation

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

10.1007/978-3-319-17404-4_11 ◽

2015 ◽

pp. 164-178

Author(s):

Yuting Chen ◽

Qiuwei Shi ◽

Weikai Miao

Keyword(s):

Edit Propagation

Download Full-text

Combining Separation Logic and Projection Temporal Logic to Reason About Non-blocking Concurrency

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

10.1007/978-3-319-17404-4_9 ◽

2015 ◽

pp. 127-144

Author(s):

Xiaoxiao Yang

Keyword(s):

Temporal Logic ◽

Separation Logic

Download Full-text

Formal Semantics of Orc Based on TLA $$^+$$

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

10.1007/978-3-319-17404-4_10 ◽

2015 ◽

pp. 147-163 ◽

Cited By ~ 1

Author(s):

Zhen You ◽

Jinyun Xue ◽

Qimin Hu ◽

Yi Hong

Keyword(s):

Formal Semantics

Download Full-text

Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification

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

10.1007/978-3-319-17404-4_2 ◽

2015 ◽

pp. 17-31

Author(s):

Yuqin Zhou ◽

Taku Sugihara ◽

Yuji Sato

Keyword(s):

Formal Specification ◽

Test Cases ◽

Tabu List

Download Full-text

Automatic Verification for Later-Correspondence of Security Protocols

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

10.1007/978-3-319-17404-4_8 ◽

2015 ◽

pp. 111-126 ◽

Cited By ~ 1

Author(s):

Xiaofei Xie ◽

Xiaohong Li ◽

Yang Liu ◽

Li Li ◽

Ruitao Feng ◽

...

Keyword(s):

Security Protocols ◽

Automatic Verification

Download Full-text

Unified Bounded Model Checking for MSVL

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

10.1007/978-3-319-17404-4_4 ◽

2015 ◽

pp. 49-61

Author(s):

Bin Yu ◽

Zhenhua Duan ◽

Cong Tian

Keyword(s):

Model Checking ◽

Bounded Model Checking

Download Full-text

An Implementation Framework for Optimizing Test Case Generation Using Model Checking

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

10.1007/978-3-319-17404-4_1 ◽

2015 ◽

pp. 3-16

Author(s):

Longhui Chang ◽

Huaikou Miao ◽

Gongzheng Lu

Keyword(s):

Model Checking ◽

Test Case Generation ◽

Test Case ◽

Implementation Framework

Download Full-text

Using Alloy in Introductory Courses of Formal Methods

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

10.1007/978-3-319-17404-4_7 ◽

2015 ◽

pp. 97-110 ◽

Cited By ~ 1

Author(s):

Shin Nakajima

Keyword(s):

Formal Methods ◽

Introductory Courses

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

Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications

A Memory Management Mechanism for MSVL

Incremental Points-to Analysis for Java via Edit Propagation

Combining Separation Logic and Projection Temporal Logic to Reason About Non-blocking Concurrency

Formal Semantics of Orc Based on TLA $$^+$$

Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification

Automatic Verification for Later-Correspondence of Security Protocols

Unified Bounded Model Checking for MSVL

An Implementation Framework for Optimizing Test Case Generation Using Model Checking

Using Alloy in Introductory Courses of Formal Methods

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