BPjs
Environment for running behavioral programs written in JavaScript.
Tech stack & purpose
BPjs is a Java framework for executing and verifying behavioral programs—concurrent JavaScript programs (b-threads) that synchronize via events at designated sync points. The framework supports two modes: execution, which runs a single program trace, and verification, which uses depth-first search to explore all possible traces and detect violations. Built on the Rhino JavaScript engine (version 1.9.1) and written for Java 11, BPjs bridges JavaScript and Java through a proxy object exposed as `bp` in scripts, allowing b-threads to request, wait for, and block events while an event selection strategy determines which event fires next. The project originated at BGU (Bar-Ilan University, as indicated by the GitHub organization bThink-BGU).
Community & reference links
Languages
Contributors
- Michael Bar-Sinai433 commits
- reututy77 commits
- Ace Pace64 commits
- geraw48 commits
- Michael27 commits
- Achiya Elyasaf20 commits
- maor22613 commits
- eggsterino11 commits
- Meir Maor Biton4 commits
- tal3 commits
- VIKAS123M2 commits
- Ananya Kumari2 commits
- dependabot[bot]2 commits · 0 followers
- Gera Weiss1 commits
- reut shmuel1 commits
- Tal Litman1 commits
- shmuel reut1 commits
- reutsh1 commits
- achiyae1 commits
- Benny-Skidanov1 commits
- Coderx1 commits
