Mechanical Verification of Parameterized Real-Time Systems

Mechanical Verification of Parameterized Real-Time Systems


Marketed By :  Südwestdeutscher Verlag für Hochschulschriften   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days

₹ 7,301

Availability: Out of stock


Delivery :

5% Cashback on all Orders paid using MobiKwik Wallet T&C

Free Krispy Kreme Voucher on all Orders paid using UltraCash Wallet T&C
Product Out of Stock Subscription

(Notify me when this product is back in stock)

  • Product Description

Real-time systems, such as real-time operating systems, often have to be able to cope with an unbounded number of similar components. These systems fall in the class of parameterized systems. Especially in safety-critical areas, formal verification ensures that they behave correctly in all cases. However, the machine-assisted verification of parameterized real-time systems is hard because automatic verification techniques (such as model checking) can be employed directly only for finite instances of a system and are thus incomplete. To overcome this problem, we provide a framework for the mechanical, comprehensive, and semi-automatic verification of parameterized real-time systems. At its core, we employ the process calculus Timed CSP. We provide an interactive theorem proving environment enhanced with debugging capabilities using automatic verification techniques. Thus, finite instances can be checked and debugged with automatic tool support. Then, given the evidence that the overall parameterized real-time system behaves correctly, our theorem proving environment facilitates its semi-automatic, comprehensive verification.

Product Specifications
SKU :COC18068
Country of ManufactureIndia
Product BrandSüdwestdeutscher Verlag für Hochschulschriften
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-07-27
0 Review(s)