Promela Reference -- scanf(7)

### `Promela` | ### `Omissions` | ### `scanf(7)`

`NAME`
`scanf` - to read input from the standard input stream.

`DESCRIPTION`
There is no routine in Promela to read input from the standard input stream or from any file or device. The reason is that Promela models must be `closed` to be verifiable. That is, all input sources must be part of the model. It is relatively easy to build a little process that acts as if it were the `scanf` routine, and that sends to user processes that request its services a non-deterministically chosen response from the set of anticipated responses.

`SEE ALSO`
`printf(4)`.

Spin Online References Promela Manual Index Promela Grammar Spin HomePage |  | `(Page Updated: 16 December 1997)`