|
" Tool support for system specification, development and verification / R. Berhammer, Y. Lakhnech (eds.). "
:
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
718155
|
| Doc. No
|
:
|
b537843
|
| Main Entry
|
:
|
:
|
| Title & Author
|
:
|
Tool support for system specification, development and verification / R. Berhammer, Y. Lakhnech (eds.).\ :
|
| Publication Statement
|
:
|
Germany, [1990-onward] Springer Vlg 1999.
|
| ISBN
|
:
|
3211832823
|
|
|
:
|
: 9783211832820
|
| Contents
|
:
|
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.
|
| LC Classification
|
:
|
QA76.76.D47
|
| |