<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Temporal logic Logic in computer science Mathematical logic Logic Computation tree logic Mathematics Witness Linear temporal logic CTL* |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Temporal logic Logic in computer science Mathematical logic Logic Computation tree logic Mathematics Witness Linear temporal logic CTL* |
Add to Reading List |
A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez