筛选条件
共查询到2条结果
排序方式
~
SAT-based explicit LTL reasoning and its application to satisfiability checking
期刊: FORMAL METHODS IN SYSTEM DESIGN, 2019; 54 (2)
We present here a new explicit reasoning framework for linear temporal logic (LTL), which is built on top of propositional satisfiability (SAT) solvin......
Annotation guided collection of context-sensitive parallel execution profiles
期刊: FORMAL METHODS IN SYSTEM DESIGN, 2019; 54 (3)
Studying the relative behavior of an application's threads is critical to identifying performance bottlenecks and understanding their root causes. We ......