Bogor-PubSub is a set of extensions to the Bogor model checker enabling accurate, automatic verification of Publish-Subscribe infrastructures.
Release Date:
2009-05-06
Topic:
Operating System:
License:
Intended Audience:
Developers, Healthcare Industry, Information Technology, Science/Research, Telecommunications Industry, Aerospace
User Interface:
Programming Language:
Registered:
2008-01-04
Ratings and Reviews
Be the first to post a text review of Bogor-PubSub. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
Rate and Review
Be the first person to add a text review.
Related Projects
-
Liferay Portal
Liferay Portal is the world's leading enterprise open source portal framework, offering integrated Web publishing and content management, an enterprise service bus and service-oriented architecture, and compatibility with all major IT infrastructures.
-
-
Bogor-PubSub Actions
About SourceForge
Develop Software
Community
Copyright © 2010 Geeknet, Inc. All rights reserved. Terms of Use
