Sammanfattning av denna webbsida: Vi presenterar ett tablåsystem för modellkontroll av linjär tid /*-kalculus. Det förbättrar systemet av Stifling och Walker genom att förenkla framgång villkor för en tablå. I vårt system är framgång för ett blad bestäms av den väg som leder till det, medan Stifling och Walker metod kräver undersökning av ett potentiellt oändligt antal vägar som sträcker sig över hela tablån.
Senare, Bradfield, Esparza och Mader REF förbättra systemet med Stirling och Walker genom att förenkla framgångsvillkoren för en tablå.
An effective tableau system for the linear time μ-calculus
{'venue': 'ICALP', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}