IBM®
Skip to main content
    Israel [change]    Terms of use
 
 
 
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research

RuleBase Parallel Edition

Formal Verification


Generalized Buffer (PSL/Sugar version)

receiver_ack results

Assertions 1, 2, and 5 pass — but the rest fail.

We can fix the design by changing the ERROR_FOUND(5) value to 1 (in our envs file).

Make the change and verify the rule again.

Results



 
 





    About IBMPrivacyContact