Bogor-PubSub

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 >

License

GNU General Public License version 2.0 (GPLv2)

Follow Bogor-PubSub

Bogor-PubSub Web Site

You Might Also Like

Gain insights and build data-powered applications

Your unified business intelligence platform. Self-service. Governed. Embedded.

Chat with your business data with Looker. More than just a modern business intelligence platform, you can turn to Looker for self-service or governed BI, build your own custom applications with trusted metrics, or even bring Looker modeling to your existing BI environment.

Try it free

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

Similar Business Software

ManageEngine OpManager

OpManager is a network management tool geared to monitor your entire network. Ensure all devices operate at peak health, performance, and availability. The extensive network monitoring capabilities lets you track performance of switches, routers, LANs, WLCs, IP addresses, and...

See Software
Boozang

Build. Test. Automate. Empower your whole team to build and maintain automated tests, not just developers. Meet your testing demands fast. Get full test coverage in days, not months. Our natural-language tests are extremely stable to code changes. When tests break our AI will repair it in...

See Software
Thinfinity Workspace

Thinfinity® Workspace 7 is a comprehensive, secure platform that offers a zero-trust approach, enabling secure and contextual access to corporate virtual desktops, virtual applications, internal web apps, SaaS, and files, whether they are on Windows, Linux, or mainframes. It supports various...

See Software

Report inappropriate content