Engineering Trustworthy Software Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030029272, 9783030029289

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Software Is Not Soft

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02928-9_5 ◽

2018 ◽

pp. 143-175

Author(s):

Xiaoxing Ma ◽

Tianxiao Gu ◽

Wei Song

Download Full-text

Formalizing Hoare Logic in PVS

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02928-9_3 ◽

2018 ◽

pp. 89-114

Author(s):

Natarajan Shankar

Keyword(s):

Hoare Logic

Download Full-text

An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02928-9_2 ◽

2018 ◽

pp. 39-88

Author(s):

Gary T. Leavens ◽

David A. Naumann

Keyword(s):

Model Theory ◽

Behavioral Subtyping

Download Full-text

Modeling Concurrency in Dafny

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02928-9_4 ◽

2018 ◽

pp. 115-142

Author(s):

K. Rustan M. Leino

Download Full-text

Challenges for Formal Semantic Description: Responses from the Main Approaches

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02928-9_6 ◽

2018 ◽

pp. 176-217

Author(s):

Cliff B. Jones ◽

Troy K. Astarte

Keyword(s):

Formal Semantic ◽

Semantic Description

Download Full-text

A Guide to Rely/Guarantee Thinking

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02928-9_1 ◽

2018 ◽

pp. 1-38 ◽

Cited By ~ 3

Author(s):

Ian J. Hayes ◽

Cliff B. Jones

Download Full-text

Engineering Trustworthy Software Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Software Is Not Soft

Formalizing Hoare Logic in PVS

An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping

Modeling Concurrency in Dafny

Challenges for Formal Semantic Description: Responses from the Main Approaches

A Guide to Rely/Guarantee Thinking

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science
Latest Publications