Formal Methods and Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642342806, 9783642342813

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modular Verification of OO Programs with Interfaces

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34281-3_13 ◽

2012 ◽

pp. 151-166 ◽

Cited By ~ 2

Author(s):

Qiu Zongyan ◽

Hong Ali ◽

Liu Yijing

Keyword(s):

Modular Verification

Download Full-text

Separation Predicates: A Taste of Separation Logic in First-Order Logic

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34281-3_14 ◽

2012 ◽

pp. 167-181 ◽

Cited By ~ 6

Author(s):

François Bobot ◽

Jean-Christophe Filliâtre

Keyword(s):

Order Logic ◽

Separation Logic ◽

First Order Logic ◽

First Order

Download Full-text

The Confinement Problem in the Presence of Faults

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34281-3_15 ◽

2012 ◽

pp. 182-197 ◽

Cited By ~ 7

Author(s):

William L. Harrison ◽

Adam Procter ◽

Gerard Allwein

Download Full-text

Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34281-3_29 ◽

2012 ◽

pp. 414-429 ◽

Cited By ~ 7

Author(s):

Svetoslav Ganov ◽

Sarfraz Khurshid ◽

Dewayne E. Perry

Keyword(s):

Incremental Analysis ◽

Domain Specific

Download Full-text

Toward Practical Application of Formal Methods in Software Lifecycle Processes

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34281-3_1 ◽

2012 ◽

pp. 1-1

Author(s):

Mario Tokoro

Keyword(s):

Formal Methods ◽

Practical Application ◽

Software Lifecycle

Download Full-text

Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34281-3_9 ◽

2012 ◽

pp. 87-102 ◽

Cited By ~ 3

Author(s):

Kazuhiro Ogata ◽

Phan Thi Thanh Huyen

Keyword(s):

Model Checking ◽

Rewriting Logic

Download Full-text

Time Constraints with Temporal Logic Programming

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34281-3_20 ◽

2012 ◽

pp. 266-282 ◽

Cited By ~ 6

Author(s):

Meng Han ◽

Zhenhua Duan ◽

Xiaobing Wang

Keyword(s):

Logic Programming ◽

Temporal Logic ◽

Time Constraints ◽

Temporal Logic Programming

Download Full-text

Complementary Methodologies for Developing Hybrid Systems with Event-B

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34281-3_18 ◽

2012 ◽

pp. 230-248 ◽

Cited By ~ 10

Author(s):

Wen Su ◽

Jean-Raymond Abrial ◽

Huibiao Zhu

Keyword(s):

Hybrid Systems

Download Full-text

Quantitative Analysis of Information Flow Using Theorem Proving

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34281-3_11 ◽

2012 ◽

pp. 119-134 ◽

Cited By ~ 6

Author(s):

Tarek Mhamdi ◽

Osman Hasan ◽

Sofiène Tahar

Keyword(s):

Quantitative Analysis ◽

Information Flow ◽

Theorem Proving

Download Full-text

A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34281-3_6 ◽

2012 ◽

pp. 38-53 ◽

Cited By ~ 1

Author(s):

Granville Barnett ◽

Shengchao Qin

Keyword(s):

Concurrency Control ◽

Mixed Mode

Download Full-text

Formal Methods and Software Engineering - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Modular Verification of OO Programs with Interfaces

Separation Predicates: A Taste of Separation Logic in First-Order Logic

The Confinement Problem in the Presence of Faults

Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers

Toward Practical Application of Formal Methods in Software Lifecycle Processes

Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic

Time Constraints with Temporal Logic Programming

Complementary Methodologies for Developing Hybrid Systems with Event-B

Quantitative Analysis of Information Flow Using Theorem Proving

A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs

Formal Methods and Software Engineering - Lecture Notes in Computer Science
Latest Publications