research

Program schemata vs. automata for decidability of program logics

Authors
Publication date
30 March 1997
Publisher
Published by Elsevier B.V.
Doi

    Abstract

    AbstractA new technique for decidability of program logics is introduced. This technique is applied to the most expressive propositional program logic - mu-calculus

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Elsevier - Publisher Connector

      redirect
      Last time updated on 04/05/2017

      Elsevier - Publisher Connector

      redirect
      Last time updated on 05/06/2019