![Temporal logic / Logic in computer science / Mathematical logic / Logic / Computation tree logic / Mathematics / Witness / Linear temporal logic / CTL* Temporal logic / Logic in computer science / Mathematical logic / Logic / Computation tree logic / Mathematics / Witness / Linear temporal logic / CTL*](https://www.pdfsearch.io/img/1fed69ffff1b363919977625e46ddf6c.jpg) 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 DoligezAdd to Reading ListSource URL: coccinelle.lip6.frDownload Document from Source Website File Size: 641,58 KBShare Document on Facebook
|