Formal Methods: State of the Art and New Directions
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer London

9781848827356, 9781848827363

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Program Verification and System Dependability

Formal Methods: State of the Art and New Directions ◽

10.1007/978-1-84882-736-3_2 ◽

2009 ◽

pp. 43-78 ◽

Cited By ~ 3

Author(s):

Michael Jackson

Keyword(s):

Program Verification

Download Full-text

Separation Logic and Concurrency

Formal Methods: State of the Art and New Directions ◽

10.1007/978-1-84882-736-3_7 ◽

2009 ◽

pp. 217-248

Author(s):

Richard Bornat

Keyword(s):

Separation Logic

Download Full-text

Applications and Methodology of νZ

Formal Methods: State of the Art and New Directions ◽

10.1007/978-1-84882-736-3_4 ◽

2009 ◽

pp. 117-145 ◽

Cited By ~ 1

Author(s):

Martin C. Henson

Download Full-text

Formal Methods for Biochemical Signalling Pathways

Formal Methods: State of the Art and New Directions ◽

10.1007/978-1-84882-736-3_6 ◽

2009 ◽

pp. 185-215 ◽

Cited By ~ 5

Author(s):

Muffy Calder ◽

Stephen Gilmore ◽

Jane Hillston ◽

Vladislav Vyshemirsky

Keyword(s):

Formal Methods ◽

Signalling Pathways

Download Full-text

The Abstract State Machines Method for High-Level System Design and Analysis

Formal Methods: State of the Art and New Directions ◽

10.1007/978-1-84882-736-3_3 ◽

2009 ◽

pp. 79-116 ◽

Cited By ~ 12

Author(s):

Egon Börger

Keyword(s):

System Design ◽

State Machines ◽

Level System ◽

Abstract State Machines ◽

High Level

Download Full-text

The Computer Ate My Vote

Formal Methods: State of the Art and New Directions ◽

10.1007/978-1-84882-736-3_5 ◽

2009 ◽

pp. 147-184 ◽

Cited By ~ 4

Author(s):

Peter Y.A. Ryan

Download Full-text

Domain Engineering

Formal Methods: State of the Art and New Directions ◽

10.1007/978-1-84882-736-3_1 ◽

2009 ◽

pp. 1-41 ◽

Cited By ~ 12

Author(s):

Dines Bjørner

Keyword(s):

Domain Engineering

Download Full-text

Programming Language Description Languages

Formal Methods: State of the Art and New Directions ◽

10.1007/978-1-84882-736-3_8 ◽

2009 ◽

pp. 249-273 ◽

Cited By ~ 1

Author(s):

Peter D. Mosses

Keyword(s):

Programming Language ◽

Description Languages ◽

Language Description

Download Full-text

Formal Methods: State of the Art and New DirectionsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer London

Program Verification and System Dependability

Separation Logic and Concurrency

Applications and Methodology of νZ

Formal Methods for Biochemical Signalling Pathways

The Abstract State Machines Method for High-Level System Design and Analysis

The Computer Ate My Vote

Domain Engineering

Programming Language Description Languages

Formal Methods: State of the Art and New Directions
Latest Publications