Industrial-Strength Formal Methods in Practice
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer London

9781852336400, 9781447105237

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lessons from the Formal Development of a Radiation Therapy Machine Control Program

Industrial-Strength Formal Methods in Practice ◽

10.1007/978-1-4471-0523-7_9 ◽

1999 ◽

pp. 185-205

Author(s):

Jonathan Jacky

Keyword(s):

Radiation Therapy ◽

Control Program ◽

Formal Development ◽

Machine Control

Download Full-text

Specification of a Chemical Process Controller in B

Industrial-Strength Formal Methods in Practice ◽

10.1007/978-1-4471-0523-7_4 ◽

1999 ◽

pp. 53-80

Author(s):

Kevin Lano ◽

Stephen Goldsack ◽

Arturo Sanchez

Keyword(s):

Chemical Process

Download Full-text

The French Population Census for 1990

Industrial-Strength Formal Methods in Practice ◽

10.1007/978-1-4471-0523-7_2 ◽

1999 ◽

pp. 15-42

Author(s):

Pascal Bernard ◽

Guy Laffitte

Keyword(s):

Population Census ◽

French Population

Download Full-text

How to Construct Formal Arguments that Persuade Certifiers

Industrial-Strength Formal Methods in Practice ◽

10.1007/978-1-4471-0523-7_13 ◽

1999 ◽

pp. 285-314 ◽

Cited By ~ 2

Author(s):

Andrew P. Moore ◽

J. Eric Klinker ◽

David M. Mihelcic

Download Full-text

Rigorous Review Technique

Industrial-Strength Formal Methods in Practice ◽

10.1007/978-1-4471-0523-7_11 ◽

1999 ◽

pp. 231-254

Author(s):

Lesley Semmens ◽

Tony Bryant

Download Full-text

Cleanroom Software Engineering: Theory and Practice

Industrial-Strength Formal Methods in Practice ◽

10.1007/978-1-4471-0523-7_16 ◽

1999 ◽

pp. 351-372 ◽

Cited By ~ 3

Author(s):

Richard C. Linger ◽

Carmen J. Trammell

Keyword(s):

Software Engineering ◽

Theory And Practice ◽

Engineering Theory

Download Full-text

Formal Verification in Railways

Industrial-Strength Formal Methods in Practice ◽

10.1007/978-1-4471-0523-7_15 ◽

1999 ◽

pp. 329-350 ◽

Cited By ~ 5

Author(s):

Arne Borälv ◽

Gunnar Stålmarck

Keyword(s):

Formal Verification

Download Full-text

Formal Methods Through Domain Engineering

Industrial-Strength Formal Methods in Practice ◽

10.1007/978-1-4471-0523-7_14 ◽

1999 ◽

pp. 315-328

Author(s):

Mark Ardis ◽

Peter Mataga

Keyword(s):

Formal Methods ◽

Domain Engineering

Download Full-text

Using Formal Methods to Develop an ATC Information System

Industrial-Strength Formal Methods in Practice ◽

10.1007/978-1-4471-0523-7_10 ◽

1999 ◽

pp. 207-229 ◽

Cited By ~ 2

Author(s):

Anthony Hall

Keyword(s):

Information System ◽

Formal Methods

Download Full-text

A CAD Environment for Safety-Critical Software

Industrial-Strength Formal Methods in Practice ◽

10.1007/978-1-4471-0523-7_7 ◽

1999 ◽

pp. 139-156

Author(s):

Nancy Leveson ◽

Mats Heimdahl ◽

Jon D. Reese

Keyword(s):

Safety Critical

Download Full-text