Algebraic Methodology and Software Technology - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540638889, 9783540696612

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Floating point verification in HOL light: The exponential function

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0000475 ◽

1997 ◽

pp. 246-260 ◽

Cited By ~ 23

Author(s):

John Harrison

Keyword(s):

Exponential Function ◽

Floating Point ◽

Hol Light

Download Full-text

Invariants, bisimulations and the correctness of coalgebraic refinements

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0000477 ◽

1997 ◽

pp. 276-291 ◽

Cited By ~ 13

Author(s):

Bart Jacobs

Download Full-text

CAMILA: Prototyping and refinement of constructive specifications

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0000496 ◽

1997 ◽

pp. 554-559 ◽

Cited By ~ 1

Author(s):

J. J. Almeida ◽

L. S. Barbosa ◽

F. L. Neves ◽

J. N. Oliveira

Download Full-text

Representing place/transition nets in Span(Graph)

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0000480 ◽

1997 ◽

pp. 322-336 ◽

Cited By ~ 11

Author(s):

Piergiulio Katis ◽

N. Sabadini ◽

R. F. C. Walters

Download Full-text

Verification of distributed real-time and fault-tolerant protocols

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0000476 ◽

1997 ◽

pp. 261-275 ◽

Cited By ~ 4

Author(s):

Jozef Hooman

Keyword(s):

Real Time ◽

Fault Tolerant

Download Full-text

Ensuring streams flow

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0000493 ◽

1997 ◽

pp. 509-523 ◽

Cited By ~ 14

Author(s):

Alastair Telford ◽

David Turner

Download Full-text

Recording HOL proofs in a structured browsable format

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0000500 ◽

1997 ◽

pp. 567-571 ◽

Cited By ~ 1

Author(s):

Jim Grundy ◽

Thomas Långbacka

Download Full-text

Rigorous object-oriented modeling: Integrating formal and informal notations

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0000473 ◽

1997 ◽

pp. 216-230 ◽

Cited By ~ 3

Author(s):

R. B. France ◽

J. -M. Bruel ◽

M. M. Larrondo-Petrie ◽

E. Grant

Keyword(s):

Object Oriented

Download Full-text

Algebraic composition and refinement of proofs

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0000492 ◽

1997 ◽

pp. 494-508 ◽

Cited By ~ 1

Author(s):

Martin Simons ◽

Michel Sintzoff

Download Full-text

Invariants of parameterized binary tree networks as greatest fixpoints

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0000481 ◽

1997 ◽

pp. 337-350 ◽

Cited By ~ 2

Author(s):

David Lesens

Keyword(s):

Binary Tree ◽

Tree Networks

Download Full-text

Algebraic Methodology and Software Technology - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Floating point verification in HOL light: The exponential function

Invariants, bisimulations and the correctness of coalgebraic refinements

CAMILA: Prototyping and refinement of constructive specifications

Representing place/transition nets in Span(Graph)

Verification of distributed real-time and fault-tolerant protocols

Ensuring streams flow

Recording HOL proofs in a structured browsable format

Rigorous object-oriented modeling: Integrating formal and informal notations

Algebraic composition and refinement of proofs

Invariants of parameterized binary tree networks as greatest fixpoints

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science
Latest Publications