3 ms·
Hoare notation literally made formally verified programs possible. The man is a great.
by User23 8y ago
Hoare notation literally made formally verified programs possible. The man is a great.
- carlehewitt 8y agoInduction 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.