TESLA: temporally enhanced system logic assertions.
Jonathan AndersonRobert N. M. WatsonDavid ChisnallKhilan GudkaIlias MarinosBrooks DavisPublished in: EuroSys (2014)
Keyphrases
- spatio temporal
- logic programming
- temporal information
- classical logic
- multi valued
- predicate logic
- modal logic
- automated reasoning
- knowledge base
- proof theory
- asynchronous circuits
- case study
- computational properties
- logic synthesis
- data sets
- formal theory
- defeasible logic
- expert systems
- website
- search engine
- data mining