<img class="icon32" alt="[lambdadelta home]" title="lambdadelta home" src="http://lambdadelta.info/images/crux_32.png" />
</a>
</div>
- <div class="head1">The Formal System λδ (\lambda\delta)</div>
+ <div class="head1">The Formal Systems of the λδ (\lambda\delta) Family</div>
<div class="spacer">
<img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
</div>
<div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="specifications">Computer-checked formal specifications <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b15.png" />
</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">
- λδ is developed as a machine-checked digital specification.
- It comes in several versions listed in the next table,
- which includes the major milestones.
+ The systems of the λδ family are developed as machine-checked digital specifications,
+ and are listed in the next table, which includes the major milestones.
</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">
The life cycle of a specification consists of four periods.
<div xmlns:ld="http://lambdadelta.info/" class="text">
Informational pages on the specifications are provided.
</div>
- <ul xmlns:ld="http://lambdadelta.info/" id="">
+ <ul xmlns:ld="http://lambdadelta.info/" id="notice1">
<li>
<span class="emph alpha">Notice on displayed numerical acounts:</span>
nodes are counted according to the "intrinsic complexity measure"
Journal of Automated Reasoning 44(1-2), Springer (February 2010), pp. 53-78].
</li>
</ul>
- <ul xmlns:ld="http://lambdadelta.info/" id="">
+ <ul xmlns:ld="http://lambdadelta.info/" id="notice2">
<li>
<span class="emph alpha">Notice on displayed logical structures:</span>
from the logical standpoint, the source scripts are grouped in "planes"
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 10 Dec 2015 16:21:42 +0100</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 30 Dec 2015 15:33:02 +0100</div>
</body>
</html>