#BPjs's 10th release supports verification of liveness properties! That's right - If it may not happen in the next aleph-null steps, BPjs will let you know.

https://github.com/bThink-BGU/BPjs/releases/tag/0.9.5

Also, we fixed some bugs and quite possibly replaced them with new ones. #behavioralProgramming