Bogor-PubSub is a set of extensions to the Bogor model checker enabling accurate, automatic verification of Publish-Subscribe infrastructures.

Project Activity

See All Activity >

Categories

UML

License

GNU General Public License version 2.0 (GPLv2)

Follow Bogor-PubSub

Bogor-PubSub Web Site

Other Useful Business Software
HRSoft Compensation - Human Resources Software Icon
HRSoft Compensation - Human Resources Software

HRSoft is the only unified, purpose-built SaaS platform designed to transform your complex HR processes into seamless digital ones

Manage your enterprise’s compensation lifecycle and accurately recognize top performers with a digitized, integrated system. Keep employees invested and your HR team in control while preventing compensation chaos.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Bogor-PubSub!

Additional Project Details

Intended Audience

Aerospace, Information Technology, Healthcare Industry, Science/Research, Telecommunications Industry, Developers

User Interface

Command-line, Eclipse

Programming Language

Java

Related Categories

Java UML Tool

Registered

2008-01-04