Verification of parameterized programs. (English) Zbl 0844.68079
Börger, Egon (ed.), Specification and validation methods. Oxford: Clarendon Press. International Schools for Computer Scientists. 167-230 (1995).
Summary: We present an approach to the verification of parameterized reactive programs, using temporal logic.
For the entire collection see [Zbl 0831.00010].
For the entire collection see [Zbl 0831.00010].
MSC:
68Q60 | Specification and verification (program logics, model checking, etc.) |
68N17 | Logic programming |
03B45 | Modal logic (including the logic of norms) |