First Page | Document 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 DoligezAdd to Reading ListSource URL: coccinelle.lip6.frDownload Document from Source WebsiteFile Size: 641,58 KBShare Document on Facebook |