Applied Formal Methods — FM-Trends 98 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540664628, 9783540482574

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automated Test Set Generation for Statecharts

Applied Formal Methods — FM-Trends 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-48257-1_6 ◽

1999 ◽

pp. 107-121 ◽

Cited By ~ 7

Author(s):

K. Bogdanov ◽

M. Holcombe ◽

H. Singh

Keyword(s):

Test Set ◽

Automated Test

Download Full-text

The IFAD VDM Tools

Applied Formal Methods — FM-Trends 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-48257-1_22 ◽

1999 ◽

pp. 326-329 ◽

Cited By ~ 2

Author(s):

Sten Agerholm ◽

Peter Gorm Larsen

Download Full-text

Critical Systems Validation and Verification with CSP and FDR

Applied Formal Methods — FM-Trends 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-48257-1_15 ◽

1999 ◽

pp. 243-250 ◽

Cited By ~ 1

Author(s):

Michael Goldsmith ◽

Irfan Zakiuddin

Keyword(s):

Critical Systems ◽

Validation And Verification

Download Full-text

Translation Validation: From DC+ to C

Applied Formal Methods — FM-Trends 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-48257-1_8 ◽

1999 ◽

pp. 137-150 ◽

Cited By ~ 2

Author(s):

A. Pnueli ◽

O. Shtrichman ◽

M. Siegel

Keyword(s):

Translation Validation

Download Full-text

Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol

Applied Formal Methods — FM-Trends 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-48257-1_18 ◽

1999 ◽

pp. 281-295

Author(s):

Masahiro Fujita ◽

Sree P. Rajan ◽

Alan Hu

Keyword(s):

Formal Verification ◽

Atm Switch

Download Full-text

UniForM Perspectives for Formal Methods

Applied Formal Methods — FM-Trends 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-48257-1_16 ◽

1999 ◽

pp. 251-265 ◽

Cited By ~ 2

Author(s):

Bernd Krieg-Brückner

Keyword(s):

Formal Methods

Download Full-text

VSE: Controlling the Complexity in Formal Software Developments

Applied Formal Methods — FM-Trends 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-48257-1_26 ◽

1999 ◽

pp. 351-358 ◽

Cited By ~ 3

Author(s):

Dieter Hutter ◽

Heiko Mantel ◽

Georg Rock ◽

Werner Stephan ◽

Andreas Wolpers ◽

...

Download Full-text

High Level System Design and Analysis Using Abstract State Machines

Applied Formal Methods — FM-Trends 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-48257-1_1 ◽

1999 ◽

pp. 1-43 ◽

Cited By ~ 55

Author(s):

Egon Börger

Keyword(s):

System Design ◽

State Machines ◽

Level System ◽

Abstract State Machines ◽

High Level

Download Full-text

PVS: An Experience Report

Applied Formal Methods — FM-Trends 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-48257-1_24 ◽

1999 ◽

pp. 338-345 ◽

Cited By ~ 10

Author(s):

S. Owre ◽

J. M. Rushby ◽

N. Shankar ◽

D. W. J. Stringer-Calvert

Keyword(s):

Experience Report

Download Full-text

Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier

Applied Formal Methods — FM-Trends 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-48257-1_19 ◽

1999 ◽

pp. 296-301

Author(s):

Meine van der Meulen ◽

Tim Clement

Keyword(s):

Formal Methods ◽

Storm Surge

Download Full-text

Applied Formal Methods — FM-Trends 98 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Automated Test Set Generation for Statecharts

The IFAD VDM Tools

Critical Systems Validation and Verification with CSP and FDR

Translation Validation: From DC+ to C

Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol

UniForM Perspectives for Formal Methods

VSE: Controlling the Complexity in Formal Software Developments

High Level System Design and Analysis Using Abstract State Machines

PVS: An Experience Report

Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier

Applied Formal Methods — FM-Trends 98 - Lecture Notes in Computer Science
Latest Publications