Program menurut loupe.sf.net

Bogor-PubSub adalah seperangkat ekstensi untuk pemeriksa model Bogor yang memungkinkan verifikasi infrastruktur Publish-Subscribe yang akurat dan otomatis.