Verifying safety critical task scheduling systems in PPTL axiom system
From MaRDI portal
Publication:5963639
DOI10.1007/s10878-014-9776-3zbMath1333.90055OpenAlexW2076669467WikidataQ114017540 ScholiaQ114017540MaRDI QIDQ5963639
Bin Gu, Mengfei Yang, Cong Tian, Nan Zhang, Zhenhua Duan
Publication date: 23 February 2016
Published in: Journal of Combinatorial Optimization (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10878-014-9776-3
Related Items
Verifying a scheduling protocol of safety-critical systems, A temporal logic programming approach to planning
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A complete proof system for propositional projection temporal logic
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Isabelle. A generic theorem prover
- Temporal logic can be more expressive
- Complexity of propositional projection temporal logic with star