A formally verified algorithm for clock synchronization under a hybrid fault model
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Report Dagstuhl Seminar on Time Services SchloßDagstuhl, March 11. – March 15. 1996
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part III
Formally Verified On-Line Diagnosis
IEEE Transactions on Software Engineering
IEEE Transactions on Parallel and Distributed Systems
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
IEEE Transactions on Software Engineering
Formal Verification of Algorithms for Critical Systems
IEEE Transactions on Software Engineering
An Overview of Formal Verification for the Time-Triggered Architecture
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated formal verification of the TTEthernet synchronization quality
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Verification of an optimized fault-tolerant clock synchronization circuit
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Specification and Verification of Concurrent Programs Through Refinements
Journal of Automated Reasoning
The TTEthernet synchronisation protocols and their formal verification
International Journal of Critical Computer-Based Systems
Hi-index | 0.00 |