Login / Signup
Michael S. Rogers
Publication Activity (10 Years)
Years Active: 2015-2016
Publications (10 Years): 1
Top Topics
Multi Core Processors
High Level Programming Language
Formal Verification
Model Checking
Top Venues
TACAS
ASE
SC
</>
Publications
</>
Manchun Zheng
,
John G. Edenhofner
,
Ziqing Luo
,
Mitchell J. Gerrard
,
Michael S. Rogers
,
Matthew B. Dwyer
,
Stephen F. Siegel
CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution).
TACAS
(2016)
Stephen F. Siegel
,
Manchun Zheng
,
Ziqing Luo
,
Timothy K. Zirkel
,
Andre V. Marianiello
,
John G. Edenhofner
,
Matthew B. Dwyer
,
Michael S. Rogers
CIVL: the concurrency intermediate verification language.
SC
(2015)
Manchun Zheng
,
Michael S. Rogers
,
Ziqing Luo
,
Matthew B. Dwyer
,
Stephen F. Siegel
CIVL: Formal Verification of Parallel Programs.
ASE
(2015)