Combining Tools for the Veriflcation of Fault-Tolerant Systems
Gespeichert in:
| Veröffentlicht in: | Tools for system development and verification |
|---|---|
| 1. Verfasser: | |
| Weitere Verfasser: | , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
1998
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| Test Automation using Z Specifications | 1998 | Hörcher, Hans-Martin |
| Second Order Syntaz in HOPS and in Ralf | 1998 | Kahl, Wolfram |
| LIMITS : OMT with Formal Timing Analysis | 1998 | Naks, Tonu |
| Automatic Integration of Safety Invariants into Z Specifications | 1998 | Hechel, Reiko |
| Computed Aided Formal Methods : A Generic Concept | 1998 | Heisel, Maritta |
| Prototyping Relational Specificaticms and Programs with RELVIEW | 1998 | Behnke, Ralf |
| Developing Proof Rules for Distributed Real-Time Systems with PVS | 1998 | Hooman, Jozef |
| Generic Interfaces for Formal Development Support Tools | 1998 | Kolyang |
| Supporting Algebraic Program Derivation by PVS | 1998 | Behnke, Ralf |
| Combining Tools for the Veriflcation of Fault-Tolerant Systems | 1998 | Buth, Bettina |
| Tool-Supported Test Case Design Based on Z and the Classiflcation-Tree Method | 1998 | Singh, Harbhajan |