Kniha momentálne nie je na sklade
Mechanical Verification of Parameterized Real-Time Systems
A Formal Framework and its Application to a Real-Time Operating System Scheduler
Autori
Viac o knihe
Focusing on the challenges of verifying parameterized real-time systems, this work introduces a framework that combines mechanical and semi-automatic verification methods to ensure correct behavior in safety-critical applications. By utilizing the Timed CSP process calculus, it offers an interactive theorem proving environment equipped with debugging tools. This approach allows for the automatic verification of finite instances, ultimately supporting comprehensive verification of the entire system, thereby addressing the limitations of traditional verification techniques.
Nákup knihy
Mechanical Verification of Parameterized Real-Time Systems, Thomas Göthel
- Jazyk
- Rok vydania
- 2015
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
2021 2022 2023
Navrhnúť zmenu
- Titul
- Mechanical Verification of Parameterized Real-Time Systems
- Podtitul
- A Formal Framework and its Application to a Real-Time Operating System Scheduler
- Jazyk
- anglicky
- Autori
- Thomas Göthel
- Vydavateľ
- Südwestdeutscher Verlag für Hochschulschriften AG Co. KG
- Rok vydania
- 2015
- Väzba
- mäkká
- Počet strán
- 240
- ISBN13
- 9783838134604
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- Focusing on the challenges of verifying parameterized real-time systems, this work introduces a framework that combines mechanical and semi-automatic verification methods to ensure correct behavior in safety-critical applications. By utilizing the Timed CSP process calculus, it offers an interactive theorem proving environment equipped with debugging tools. This approach allows for the automatic verification of finite instances, ultimately supporting comprehensive verification of the entire system, thereby addressing the limitations of traditional verification techniques.