|
|
|
|
|
|
by carlehewitt
2695 days ago
|
|
|
Induction is the most important principle for proving properties of programs. The principle of Actor induction is: 1. Suppose that an Actor x has property P when it is created.
2. Further suppose that if x has property P when it receives a communication,
then it has property P when it has processed the communication.
3. Then x always has the property P.
|
|
|