Lab for Automated Reasoning and Analysis LARA

Trace: » lecture_08

BAPA and WS1S

(Continuing Labs 07)

Slides: pptx, pdf

Deciding Boolean Algebra with Presburger Arithmetic

Deciding WS1S

Recall:

Using Automata to Decide WS1S

(Continued in Exercise 08)

 
sav11/lecture_08.txt · Last modified: 2011/04/13 10:35 by vkuncak