VSE knjižnice (vzajemna bibliografsko-kataložna baza podatkov COBIB.SI)
  • An action computation tree logic with unless operator [Elektronski vir]
    Meolic, Robert ; Kapus, Tatjana
    This paper is about action computation tree logic (ACTL), a propositional branching-time temporal logic very suitable for specifying properties of concurrent systems described with processes. A new ... variant of ACTL is introduced, which is based on temporal operators until and unless, whereas all other temporal operators are derived from them. A fixed point characterisation usable for global model checking with the ability of witnesses and counterexamples generation is shown. The relationship of the new ACTL with CTL and the classical ACTL is discussed.
    Vir: Agile formal methods: practical, rigorous methods for a changing world [Elektronski vir] (Str. 100-114)
    Vrsta gradiva - prispevek na konferenci
    Leto - 2003
    Jezik - angleški
    COBISS.SI-ID - 8430614

Vnos na polico