Volume 60, Issue 3 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 60, Issue 3

March 2018

Special Issue: Selected Extended Papers of VSTTE 2016

Issue Editors:

Sandrine Blazy,
Marsha Chechik

6 articles in this issue

Selected Extended Papers of VSTTE 2016
Sandrine Blazy
Marsha Chechik
OriginalPaper 13 September 2017 Pages: 255 - 256
Bidirectional Grammars for Machine-Code Decoding and Encoding
Gang Tan
Greg Morrisett
OriginalPaper 09 September 2017 Pages: 257 - 277
Automated Verification of Functional Correctness of Race-Free GPU Programs
Kensuke Kojima
Akifumi Imanishi
Atsushi Igarashi
OriginalPaper 07 September 2017 Pages: 279 - 298
A Unifying View on SMT-Based Software Verification
Dirk Beyer
Matthias Dangl
Philipp Wendler
OriginalPaper Open access 04 December 2017 Pages: 299 - 335
Relational Program Reasoning Using Compiler IR
Moritz Kiefer
Vladimir Klebanov
Mattias Ulbrich
OriginalPaper 30 September 2017 Pages: 337 - 363
The Matrix Reproved (Verification Pearl)
Martin Clochard
Léon Gondelman
Mário Pereira
OriginalPaper 12 October 2017 Pages: 365 - 383