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

You Might Also Like
Finance Automation that puts you in charge Icon
Finance Automation that puts you in charge

Tipalti delivers smart payables that elevate modern business.

Our robust pre-built connectors and our no-code, drag-and-drop interface makes it easy and fast to automatically sync vendors, invoices, and invoice payment data between Tipalti and your ERP or accounting software.
Learn More
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
Report inappropriate content