Back to Results
First PageMeta Content
Temporal logic / Logic in computer science / Mathematical logic / Logic / Computation tree logic / Mathematics / Witness / Linear temporal logic / CTL*


A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez
Add to Reading List

Open Document

File Size: 641,58 KB

Share Result on Facebook
UPDATE