Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394
Formal Methods in System Design
Using TAME to prove invariants of automata models: Two case studies
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Proof assistance for real-time systems using an interactive theorem prover
Theoretical Computer Science
A Timed Verification of the IEEE 1394 Leader Election Protocol
Formal Methods in System Design
TAME: Using PVS strategies for special-purpose theorem proving
Annals of Mathematics and Artificial Intelligence
Proving Invariants of I/O Automata with TAME
Automated Software Engineering
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Handbook of automated reasoning
From Early to Late Formal Requirements: A Process-Control Case Study
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
Describes the approach proposed by the York University Technology Centre for introducing fixed-priority scheduling into industrial safety-critical hard real-time systems. The work has been performed within the context of a class A (safety-critical) system ...