![Theoretical computer science / Mathematics / Finite automata / Computing / Theory of computation / Formal methods / Reachability problem / Logic in computer science / Model checking / Memory barrier / Preorder / Algorithm Theoretical computer science / Mathematics / Finite automata / Computing / Theory of computation / Formal methods / Reachability problem / Logic in computer science / Model checking / Memory barrier / Preorder / Algorithm](https://www.pdfsearch.io/img/9a3045aabc3adfe58eb94988a2f417a5.jpg) Date: 2013-11-24 07:41:22Theoretical computer science Mathematics Finite automata Computing Theory of computation Formal methods Reachability problem Logic in computer science Model checking Memory barrier Preorder Algorithm | | M EMORAX, a precise and sound tool for automatic fence insertion under TSO ? Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1Add to Reading ListSource URL: user.it.uu.seDownload Document from Source Website File Size: 98,14 KBShare Document on Facebook
|