Titlebook: Applied Formal Methods - FM-Trends 98; International Worksh Dieter Hutter,Werner Stephan,Markus Ullmann Conference proceedings 1999 Springe

Legion

Applied Formal Methods - FM-Trends 98978-3-540-48257-4Series ISSN 0302-9743 Series E-ISSN 1611-3349

GLIDE

Anonymous

Dieter Hutter,Werner Stephan,Markus UllmannIncludes supplementary material:

FUSE

Creditee

https://doi.org/10.1007/978-3-658-43930-9 is a multi-institutional co-operative project aiming the development of a methodology, based on the Formal Description Technique (FDT) . and supported by a set of appropriate tools, for the specification, validation, implementation, and testing of distributed multimedia applications. This paper presents the main results of this project.

Alopecia-Areata

小官

https://doi.org/10.1007/978-0-387-34567-3Formal Systems and DERA have enjoyed a number of fruitful collaborations in recent years, especially in projects exploiting the FDR tool to analyse CSP models of systems. This paper presents an overview of the approach and some of the diverse applications to which it has been applied.

審問(wèn)

你敢命令

Design of Distributed Multimedia Applications (DAMD) is a multi-institutional co-operative project aiming the development of a methodology, based on the Formal Description Technique (FDT) . and supported by a set of appropriate tools, for the specification, validation, implementation, and testing of distributed multimedia applications. This paper presents the main results of this project.

Catheter

Structured Formal Verification of a Fragment of the IBM S/390 Clock ChipWe present a simple and powerful method for formal verification of hardware that exploits hardware symmetries. We illustrate the method at an industrial example: a fragment of the IBM S/390 Clock Chip.