Events

European Joint Conferences on Theory and Practice of Software -- ETAPS'14 (TACAS'14)

Grenoble 5.-13.4.2014

Selected publications

2014DUDKA Kamil, PERINGER Petr and VOJNAR Tomáš. Predator: A Shape Analyzer Based on Symbolic Memory Graphs (Competition Contribution). In: Tools and Algorithms for the Construction and Analysis of Systems. Heidelberg: Springer Verlag, 2014, pp. 412-414. ISBN 978-3-642-54861-1.
 MÜLLER Petr and VOJNAR Tomáš. CPAlien: Shape Analyzer for CPAChecker. In: Tools and Algorithms for the Construction and Analysis of Systems. Heidelberg: Springer Verlag, 2014, pp. 395-397. ISBN 978-3-642-54861-1.

Your IPv4 address: 3.85.143.239
Switch to https