User Tools

Site Tools

Site » Documentation » Formalisation 

Sidebar

About the XBUP project * [[this>?about|Introduction to the project]] * [[en:about:goals|Project goals]] * [[en:about:architecture|Architecture and principles]] * [[this>?about/videos|Video presentations]] Download * [[this>?download|Current release]] * [[this>?download/screenshots|Screenshots]] Documentation * [[en:doc|Project's documentation]] * [[en:doc:protocol:overview|Protocol's specification]] * [[en:doc:impl:java|Implementation in Java]] Get involved * [[en:devel|How to join]] * [[en:devel:status|Status of the development]] * [[en:devel:related_projects|Related projects]] Services * [[http://catalog.exbin.org|Catalog of types]] * [[http://catalog-php.exbin.org|Catalog of types (PHP)]] Tools * [[http://ci.exbin.org|Cont. Integration (Jenkins)]] * [[http://it.exbin.org|Issue Tracking (BugGenie)]] Follow us on * [[https://github.com/exbin|XBUP on GitHub]] * [[https://twitter.com/xbup|XBUP on Twitter]] * [[https://openhub.net/p/xbup|XBUP on OpenHUB]] * [[http://www.sourceforge.net/projects/xbup|XBUP on SourceForge]]

en:doc:formal

====== Formalization ====== Main goal here is to formalize particular aspects of the protocol as precise as possible. Current overview of the [[en:doc:devel:formal:index|formalization process]] is available as the part of the documentation. Also take a look on [[en:doc:devel:questions|related questions]], which will be targeted for formalization in the future.

en/doc/formal.txt · Last modified: 2010/05/02 15:50 by hajdam