Skip to main content
  • Log in
  • Manage Cookies
Eclipse Plugins, Bundles and Products - Eclipse Marketplace
  • My Marketplace
  • Add Content
  • More

      • Community

      • Marketplace
      • Events
      • Planet Eclipse
      • Newsletter
      • Videos
      • Blogs

      • Participate

      • Report a Bug
      • Forums
      • Mailing Lists
      • Wiki
      • IRC
      • Research

      • Eclipse IDE

      • Download
      • Learn More
      • Documentation
      • Getting Started / Support
      • How to Contribute
      • IDE and Tools
      • Newcomer Forum

    • Search

  1. Home
  2. Marketplace
  3. proof

proof

Search

1211 Solutions and counting.

Advanced Search

Primary tabs

  • Alphabetical
  • Foundation Members(active tab)
  • Last Updated
  • Most Popular
  • Top Favorites
Kopitiam
3
0
Install

Drag to Install!

Drag to your running Eclipse* workspace.
*Requires Eclipse Marketplace Client

Kopitiam

Kopitiam is an Eclipse plugin for certifying full functional correctness of Java programs using a higher-order separation logic. Kopitiam extends the Java IDE with an interactive environment for...

Other

Last Updated on Wednesday, December 14, 2022 - 09:48 by Hannes Mehnert

Markets

  • Eclipse Project (4)
  • Tools (1342)
    • Application Development Frameworks (171)
    • Application Management (32)
    • Application Server (31)
    • BIRT (10)
    • Build and Deploy (104)
    • Business Intelligence, Reporting and Charting (14)
    • Code Management (117)
    • Collaboration (37)
    • Database (44)
    • Database Development (34)
    • Database Persistence (17)
    • Documentation (60)
    • Eclipse Kura (122)
    • Eclipse SmartHome (46)
    • EclipseRT Target Platform Components (10)
    • Editor (339)
    • Entertainment (14)
    • General Purpose Tools (124)
    • Graphics (34)
    • IDE (344)
    • Internet of Things (IoT) (35)
    • J2EE Development Platform (44)
    • J2ME (5)
    • Languages (155)
    • Linux Tools (19)
    • Logging (22)
    • Mobile and Device Development (49)
    • Modeling (90)
    • Modeling Tools (146)
    • Mylyn Connectors (20)
    • Network (14)
    • Other (74)
    • Process (18)
    • Profiling (22)
    • Programming Languages (100)
    • Reporting (32)
    • Rich Client Applications (39)
    • Science (4)
    • SCM (20)
    • Search (42)
    • SOA Development (15)
    • Source Code Analyzer (99)
    • Systems Development (59)
    • Team Development (54)
    • Testing (90)
    • Tools (568)
    • UI (97)
    • UML (40)
    • Web (90)
    • Web Services (31)
    • Web, XML, Java EE and OSGi Enterprise Development (32)
    • XML (29)
  • IoT (172)
    • Eclipse Kura (122)
    • Eclipse SmartHome (46)
  • RCP Applications (79)
  • Training & Consulting (53)
  • Long Term Support (11)

Eclipse Foundation

  • About Us
  • Contact Us
  • Sponsor
  • Members
  • Governance
  • Code of Conduct
  • Logo and Artwork
  • Board of Directors
  • Careers

Legal

  • Publishing Guidelines
  • Privacy Policy
  • Terms of Use
  • Copyright Agent
  • Eclipse Public License
  • Legal Resources

Useful Links

  • Welcome to Marketplace
  • Report a Bug
  • Documentation
  • How to Contribute
  • Mailing Lists
  • Forums
  • Marketplace

Other

  • IDE and Tools
  • Projects
  • Working Groups
  • Research@Eclipse
  • Report a Vulnerability
  • Service Status

Copyright © Eclipse Foundation. All Rights Reserved.

Back to the top