Volume 22, Issue 6

December 2020

TACAS 2018 (pp. 685-728)

Filter by

Volume:

Sort by

Date published:

New to old Old to new

8 articles in this issue

On ranking functions for single-path linear-constraint loops
Yi Li
Wenyuan Wu
Yong Feng
General 13 November 2019 Pages: 655 - 666
Enabling continuous integration in a formal methods setting
Luis Diogo Couto
Peter W. V. Tran-Jørgensen
Peter Gorm Larsen
General 26 October 2019 Pages: 667 - 683
Tools for the construction and analysis of systems
Dirk Beyer
Marieke Huisman
General Open access 13 July 2020 Pages: 685 - 687
The Refinement Calculus of Reactive Systems Toolset
Iulia Dragomir
Viorel Preoteasa
Stavros Tripakis
General 07 April 2020 Pages: 689 - 708
Automating deductive verification for weak-memory programs (extended version)
Alexander J. Summers
Peter Müller
General 06 March 2020 Pages: 709 - 728
Efficient monitoring of hyperproperties using prefix trees
Bernd Finkbeiner
Christopher Hahn
Leander Tentrup
General Open access 20 February 2020 Pages: 729 - 740
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic
Dejan Ničković
Olivier Lebeltel
Dogan Ulus
General 03 August 2020 Pages: 741 - 758
An efficient statistical model checker for nondeterminism and rare events
Carlos E. Budde
Pedro R. D’Argenio
Sean Sedwards
General Open access 28 May 2020 Pages: 759 - 780

Search