Invited Paper: Origins and Metamorphoses of The Trinity: Logic, Nets, Automata (at LICS 1995)

Authors: Boris A. Trakhtenbrot

Abstract

Synthesis and verification of systems are considered with respect to the specific trinity of abstraction-levels. At the highest level - specifications expressed as formulas based on Second Order Monadic Logic (SOML). At the intermediate level - formalization of transducers (i.e. transformers of input signals into output signals) via finite sequential automata. At the lower level - formalization of discrete synchronous hardware via logical nets. The lecture tackles the question: how and to what extent did The Trinity anticipate and promote developments in Logic and Computer Science?

BibTeX

  @InProceedings{Trakhtenbrot-OriginsandMetamorph,
    author = 	 {Boris A. Trakhtenbrot},
    title = 	 {Origins and Metamorphoses of The Trinity: Logic, Nets, Automata},
    booktitle =  {Proceedings of the Tenth Annual IEEE Symposium on Logic in Computer Science (LICS 1995)},
    year =	 {1995},
    month =	 {June}, 
    pages =      {506--507},
    location =   {San Diego, CA, USA}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}
  }