Formal Methods
Advertisement
Z3-2.12 v.2 1
Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. Philippe Suter made a JNI binding available.
Advertisement
Fluent Editor for OWL 0.2.0.1 Beta v.1.0
FluentEditor for OWL is comprehensive tool for editing and manipulating complex ontologies using Controlled Natural Language.
Grooms Menswear Tuxedos Formal Wear
Freeware Graphic Applications - Free Download - Comes with our compliments from www.australianweddingprofessionals.com.au - Grooms Menswear Tuxedos Formal Wear
Electron Direct Methods (EDM) v.3.0
EDM is a set of programs intended to combine various aspects of image processing and manipulation of high resolution images and diffraction patterns as well as direct methods.
11+ Verbal Reasoning - Methods & Techniques v.1.1.0.0
This App contains the Methods & Techniques required to answer twenty-one Verbal Reasoning question types. With 424 individual questions and a bonus mock test section; this is the most comprehensive method and technique course available for 11+
Relay Methods v.1.0
If you work in an environment where you need to capture and transfer knowledge, skills, procedures and actions then RELAY has come to the rescue.
Brahmi - Indic Input Methods & OT fonts v.1.0
Brahmi project aims at producing Java Input Methods and OpenType fonts for Indian languages.
Greek GIS, methods and data v.1.0
GIS data for Greece has been scarce.
Overture: Formal Modelling in VDM v.1.0
The Overture project is developing a set of open source Eclipse plug-ins to support the integration of various VDM modelling tools (Vienna Development Method).
Engroup v.1.5.1
Engroup is a information, knowledge center and communication tool for groups and companies. Engroup promotes both informal and formal communication by combining various communication methods like private message (one-to-one, simple protocol),
Logic Minimizer
Logic Minimizer is a special application for simplifying logical expressions, namely Boolean and propositional expressions. It is geared for those involved in engineering fields, more precisely digital and formal logic scholars and academics, digital