Implementation of propositional temporal logics using BDDs

G.L.J.M. Janssen

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

76 Downloads (Pure)

Abstract

This tutorial intends to convey the step-by-step process by which computer programs for model checking and satisfiability testing for temporal logics may be derived from the theory. The idea is to demonstrate that it is very well possible to implement such a program in an efficient way without sacrificing a correct-by-construction approach. The tutorial will be fully self-contained, only a general knowledge of programming and propositional logic is assumed.
Original languageEnglish
Title of host publicationTABLEAUX, automated reasoning with analytic tableaux and related methods : international conference, 1998, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings
EditorsH. Swart, de
Place of PublicationBerlin
PublisherSpringer
Pages40-41
Number of pages2
ISBN (Print)3-540-64406-7
DOIs
Publication statusPublished - 1998

Publication series

NameLecture Notes in Computer Science
Volume1397
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Implementation of propositional temporal logics using BDDs'. Together they form a unique fingerprint.

Cite this