عنوان

Tool support for system specification, development and verification / R. Berhammer, Y. Lakhnech (eds.).

(Number (ISBN

3211832823

(Number (ISBN

9783211832820

Number

b537843

Title Proper

Tool support for system specification, development and verification / R. Berhammer, Y. Lakhnech (eds.).

General Material Designation

[Book]

First Statement of Responsibility

:

Name of Publisher, Distributor, etc.

Germany

Date of Publication, Distribution, etc.

[1990-onward] Springer Vlg 1999.

Text of Note

Formal Methods and Tools: Introduction and Overview.- Model Elimination with Simplification and its Application to Software Verification.- Applications of the RelView System.- Lutess: A Testing Environment for Synchronous Software.- PAMELA+PVS Verification of Sequential Programs.- ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies.- Formal Verification of Statemate-Statecharts.- Correct Programs without Proof? On Checker-Based Program Verification.- Synchronie Workbench.- The Term Graph Programming System HOPS.- Truth - A Verification Platform for Concurrent Systems.- Tool Integration in the UniForM-Workbench.- An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.- Towards Light-Weight Verification and Heavy-Weight Testing.- SFI: a Feature Integration Tool.- Modular Reasoning about Structured TLA Specifications.- Addresses of Contributors.

Class number

:

Electronic name

[Book]

Y