In reply to val_gal:
There does not seem to be much information about credit based protocol verification, but I did find one paper/dissertation:
In reply to val_gal:
There does not seem to be much information about credit based protocol verification, but I did find one paper/dissertation: