Het boek is momenteel niet op voorraad

Meer over het boek
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.
Een boek kopen
Mechanical Verification of Parameterized Real-Time Systems, Thomas Göthel
- Taal
- Jaar van publicatie
- 2015
- product-detail.submit-box.info.binding
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.