Formal techniques in real-time and fault-tolerant systems : 5th international symposium, FTRTFT '98, Lyngby, Denmaek, September, 14-18, 1998 : proceedings
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998. The 22 revised full papers presented were carefully selected and reviewed for inclusion in the b...
Shranjeno v:
| Korporativna značnica: | |
|---|---|
| Drugi avtorji: | , |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science
1486 |
| Teme: | |
| Online dostop: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Sporočilo: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal techniques in real-time and fault-tolerant systems, 5th international symposium, FTRTFT '98, Lyngby, Denmaek, September, 14-18, 1998, proceedings, Anders P. Ravn, Hans Rischel (eds.), 1998, Berlin, Springer, 1 vol. (VIII-338 p.), Lecture notes in computer science, 3-540-65003-2 • Formal Techniques in Real-Time and Fault-Tolerant Systems, Texte imprimé, 9783662206171 |
Kazalo:
- Challenges in the utilization of formal methods
- On the need for practical formal methods
- A general framework for the composition of timed systems
- Operational and logical semantics for polling real-time systems
- A finite-domain semantics for testing temporal logic specifications
- Duration Calculus of Weakly Monotonic Time
- Reuse in requirements engineering: Discovery and application of a real-time requirement pattern
- A modular visual model for hybrid systems
- Integrating real-time structured design and formal techniques
- Duration Calculus in the specification of safety requirements
- Automated stream-based analysis of fault-tolerance
- Designing a provably correct robt control system using a lean formal method
- Static analysis to identify invariants in RSML specifications
- Partition refinement in real-time model checking
- Formal verification of stabilizing systems
- Synchronizing clocked transition systems
- Some decidability results for duration calculus under synchronous interpretation
- Fair synchronous transition systems and their liveness proofs
- Dynamical properties of timed automata
- An algorithm for the approximative analysis of rectangular automata
- On checking parallel real-time systems for linear duration properties
- A practical and complete algorithm for testing real-time systems
- Mechanical verification of clock synchronization algorithms
- Compiling graphical real-time specifications into silicon
- Towards a formal semantics of verilog using duration calculus
- The ICOS synthesis environment
- Kronos: A model-checking tool for real-time systems
- SGLOT: A visual tool for structural LOTOS specifications
- Discrete-time Promela and Spin
- Moby/PLC Graphical development of PLC-automata
- Predictability in critical systems.