View of Specification and Verification of a Formal Model for a Real-Time System Using TLA+

Return to Article Details Specification and Verification of a Formal Model for a Real-Time System Using TLA+ Download Download PDF