FEEDBACK Smiley face
Formal Techniques in Real-Time and Fault-Tolerant Systems 6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings / [electronic resource] : edited by Mathai Joseph. - X, 314 p. online resource. - Lecture Notes in Computer Science, 1926 0302-9743 ; . - Lecture Notes in Computer Science, 1926 .

Invited Lectures -- Stability of Discrete Sampled Systems -- Issues in the Refinement of Distributed Programs -- Challenges in the Verification of Electronic Control Units -- Model Checking -- Scaling up Uppaal -- Decidable Model Checking of Probabilistic Hybrid Automata -- Fault Tolerance -- Invariant-Based Synthesis of Fault-Tolerant Systems -- Modeling Faults of Distributed, Reactive Systems -- Threshold and Bounded-Delay Voting in Critical Control Systems -- Automating the Addition of Fault-Tolerance -- Reliability Modelling of Time-Critical Distributed Systems -- Scheduling -- A Methodology for the Construction of Scheduled Systems -- A Dual Interpretation of “Standard Constraints” in Parametric Scheduling -- Validation -- Co-Simulation of Hybrid Systems: Signal-Simulink -- A System for Object Code Validation -- Refinement -- Real-Time Program Refinement Using Auxiliary Variables -- On Refinement and Temporal Annotations -- Generalizing Action Systems to Hybrid Systems -- Verification -- Compositional Verification of Synchronous Networks -- Modelling Coordinated Atomic Actions in Timed CSP -- Logic and Automata -- A Logical Characterisation of Event Recording Automata -- Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata -- Probabilistic Neighbourhood Logic -- An On-the-Fly Tableau Construction for a Real-Time Temporal Logic -- Verifying Universal Properties of Parameterized Networks.


10.1007/3-540-45352-0 doi

Computer science.
Logic design.
Special purpose computers.
Architecture, Computer.
Programming languages (Electronic computers).
Computer logic.
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer System Implementation.
Logics and Meanings of Programs.
Processor Architectures.
Special Purpose and Application-Based Systems.
Logic Design.

QA76.7-76.73 QA76.76.C65


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: