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

nel_h2

Simply solve complex auth. Easy for devs to set up. Easy for non-devs to use.

Transform user access with Frontegg CIAM: login box, SSO, MFA, multi-tenancy, and 99.99% uptime.

Custom auth drains 25% of dev time and risks 62% more breaches, stalling enterprise deals. Frontegg platform delivers a simple login box, seamless authentication (SSO, MFA, passwordless), robust multi-tenancy, and a customizable Admin Portal. Integrate fast with the React SDK, meet compliance needs, and focus on innovation.

Start for Free

Rate This Project

User Reviews

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

Additional Project Details

Intended Audience

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

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
Aikido Security

Secure your code, cloud, and runtime in one central system. Aikido’s all-in-one security platform is loved by developers and security teams alike with full security visibility, insight in what matters most, and fast/automatic vulnerability fixes. Teams get security done with Aikido thanks...

See Software
Adobe PDF Library SDK

Developers rely on Datalogics to provide the most comprehensive PDF SDKs in the industry. Global OEMs, SaaS and enterprise end-users rely on Adobe PDF Library to automate the creation, editing and management of PDFs. An Adobe partner, our SDK uses the same source code as Acrobat for...

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
Bitrise

Bitrise is a CI/CD platform built for mobile development, helping teams speed up builds, automate testing, and deliver high-quality apps faster. It supports native languages like Swift, Objective-C, Java, and Kotlin, as well as cross-platform frameworks including React Native, Flutter, Xamarin,...

See Software
Uptrends

ITRS Uptrends helps organizations achieve 24x7 reliability and performance for web services (websites, SaaS, APIs), so mission-critical transactions work from anywhere, anytime. ITRS Uptrends’ intuitive no-code/low-code transaction recorder simplifies the monitoring setup, driving rapid...

See Software