Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

4.11 - 1251 ratings - Source

Interrupts are handled the same way as functions are handled, but special analyses are applied in DVR to obtain a more ... To preserve the validity of the model-checking results, variables used within the formula (specification) are not reset.


Title:Formal Methods for Industrial Critical Systems
Author:Stefan Leue, Pedro Merino
Publisher:Springer - 2008-05-08
ISBN-13:

Continue

You Must CONTINUE and create a free account to access unlimited downloads & streaming