Question

In formal methods work, an action that reads or writes data to a state is called a(n)?

1) Actor
2) Event
3) Invariant
4) Operation

Answer 1

An action that reads or writes data to a state in formal methods work is called an operation.

Step-by-step explanation:

An action that reads or writes data to a state in formal methods work is called an operation. An operation is a transformation that changes the state of a system by reading inputs and producing outputs. It can be represented as a function or a method in programming languages.