1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
<html>
<head><title>About_Models.html -- ACL2 Version 3.1</title></head>
<body text=#000000 bgcolor="#FFFFFF">
<h2>About Models</h2>
<p>
ACL2 is used to construct mathematical models of computer hardware
and software (i.e., ``digital systems'').<p>
<img src=computing-machine.gif><p>
A <b>mathematical model</B> is a set of mathematical formulas used to
predict the behavior of some artifact.<p>
The use of mathematical models allows <b>faster</B> and <b>cheaper</B> delivery
of <b>better</B> systems.<p>
Models need not be <b>complete</B> or <b>perfectly accurate</B> to be useful to the
trained engineer.<p>
Click <a href="Models_in_Engineering.html">here</a> for more discussion of these assertions in an
engineering context.<p>
<a href="Models_of_Computer_Hardware_and_Software.html"><img src=flying.gif></a>
<br><br><br><a href="acl2-doc.html"><img src="llogo.gif"></a> <a href="acl2-doc-index.html"><img src="index.gif"></a>
</body>
</html>
|
