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)

Hint

One can implement in PSL a small state machine that keeps track of GenBuf's queue depth. We call such an auxiliary state machine a "satellite."



 
 





    About IBMPrivacyContact