KeY Project: Integrated Deductive Software Design

Rating: 0 - 0 votes

Company Logo

Company Name

Company Contact

Website Analysis

• Home Page Analysis
• Web Presence
• Home Page Speed

Domain Whois

WHOIS information for key-project.org

Powered by who.is

Page Type

This page is about a company.

Description

excerpt from site's content

The KeY Project Integrated Deductive Software Design The KeY System is a formal software development tool that aims to integrate design implementation formal specification and formal verification of object-oriented software as seamlessly as possible At the core of the system is a novel theorem prover for the first-ord...

---

This is an automatically generated AboutUs page for key-project.org. Click the "Edit" button at the top of the page to make changes. Please read our Getting Started page if you need any help.

×

Edit Page Image

×

Select image...

• jpeg, png, or gif
• one megabyte or smaller
• will be resized to 270 pixels wide

Close Save changes

×

Edit Name

×

Name

Close Save changes

×

Edit Contact Information

×

Address

City

State

Country

Postal Code

Phone

Fax

Email

Close Save changes

×

Edit Page Type

×

Page Type
Business / Organization Person Place Thing Other

Close Save changes

×

Map

×

×

Edit Page Rating

×

Your Rating

Close Save changes