SMT-Based Formal Verification of a TTEthernet Synchronization Function
- 1 January 2010
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Easy Parameterized Verification of Biphase Mark and 8N1 ProtocolsLecture Notes in Computer Science, 2006
- The Time-Triggered Ethernet (TTE) DesignPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar AutomataLecture Notes in Computer Science, 2004
- Clock Synchronization in Distributed Real-Time SystemsInternational Conference on Acoustics, Speech, and Signal Processing (ICASSP), 1987
- An upper and lower bound for clock synchronizationInformation and Control, 1984