Next: Programmide süntees (synthesis of
Up: No Title
Previous: Predikaatarvutus (predicate calculus)
- modaalloogika, milles modaalsed operaatorid on osaliselt interpreteeritud arvutiprogrammide ja nende operaatorite omaduste terminites. Kasutatakse programmide omaduste spetsifitseerimiseks ja tõestamiseks.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996