Prover Technology

Prover delivers proof engines that enable safety critical systems engineers to achieve 100% exhaustive verification coverage.

13 technologies across 8 categories detected for Prover Technology

Collaboration 2

Slack

Slack is a single workspace that connects users with the people and tools they work with everyday, no matter where they are or what they do.

Microsoft Office 365

Microsoft Office 365 provides web, desktop, and mobile apps for Outlook, Word, Excel, PowerPoint, OneNote, Publisher, Skype, OneDrive, Exchange Online, and more.



Communications 2

Microsoft Office 365

Microsoft Office 365 provides web, desktop, and mobile apps for Outlook, Word, Excel, PowerPoint, OneNote, Publisher, Skype, OneDrive, Exchange Online, and more.

Slack

Slack is a single workspace that connects users with the people and tools they work with everyday, no matter where they are what they do.



Sales 1

Sales Navigator

Sales Navigator is a sales enablement and sales management application that integrates with Salesforce to geographically display customers CRM contacts. By assessing the CRM's contact fields, Sales Navigator maps individual addresses into the Sales Navigator interface to give birds eye view of potential sales in certain areas.



Business Intelligence & Analytics 2

Hotjar

Hotjar is a complete website and mobile analytics tool enabling web developers, UI designers, analysts, digital marketers & more, to optimize the usability and conversion rate of their websites.

Google Analytics

Google Analytics allows users to measure sales & conversions, plus gain fresh insights into how visitors use sites, & how they arrived on site.



Platform and Storage 1

Outlook

Outlook.com is a web-based suite of webmail, contacts, tasks, and calendaring services from Microsoft. One of the world's first webmail services.



Programming languages and frameworks 2

FlexSlider

FlexSlider is a free responsive jQuery slider toolkit that supported in all major browsers with navigation options & touch swipe support.

JavaScript

JavaScript is the programming language of HTML and the Web.



Marketing 2

Yoast Plugins

Yoast offers plugins to improve SEO and optimize web sites and blogs.

AddToAny

AddToAny is the universal sharing platform for websites and apps.



Devops and Development 1

Yoast Plugins

Yoast offers plugins to improve SEO and optimize web sites and blogs.




Look up tech stacks, funding, financials, budgetary cycles

for 17M companies


Want to see more?