Literatuur
Als uw belangstelling is gewekt voor één van de onderwerpen
die bij het college Automaten aan de orde zijn gekomen, dan kunt
u de volgende boeken eens inkijken:
- J E Hopcroft, R Motwani en J D Ullman,
Introduction to Automata Theory, Languages and Computation.
De klassieker op het gebied van automaten en formele talen.
Eindige automaten vormen maar een klein onderdeel van de inhoud.
- P Linz,
An Introduction to Formal Languages and Automata.
Een ander veel gebruikt tekstboek op het gebied van formele talen en
automaten.
- E Grädel, W Thomas en T Wilke (redactie),
Automata, Logics and Infinite Games.
Een interessant (maar misschien moeilijk) boek dat up-to-date
informatie geeft over de theorie van automaten voor oneindige objecten.
-
M Huth en M Ryan,
Logic in Computer Science.
Een modern, veel gebruikt tekstboek dat een informatica-gerichte
inleiding in de logica geeft, met hoofdstukken over formele verificatie
en model checking.
-
Z Manna en A Pnueli,
The Temporal Logic of Reactive and Concurrent Systems:Specification.
Gaat uitvoerig in op het gebruik van temporele logica bij specificatie
en verificatie van reactieve en concurrente systemen.
-
E Clarke, O Grumberg en D Peled,
Model Checking.
Geeft (zoals de titel aangeeft) een goed en leesbaar overzicht van de
wereld die Model Checking heet.
-
P Blackburn, M de Rijke and Y Venema,
Modal Logic.
Een theoretische maar leesbare inleiding in de modale logica.
Hier wordt aan de UvA college uit gegeven - u kunt het vak `Introduction
to Modal Logic' als keuzevak nemen.
Ten slotte, de algoritme uit het laatste hoofdstuk is gebaseerd op het
artikel Simple On-the-fly Automatic Verification of Linear Temporal
Logic van R Gerth, D Peled, M Vardi en P Wolper.
Dit artikel kunt u downloaden van de publicatiepagina van
Moshe Vardi.