John G. Edenhofner

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 2

Top Topics

Formal Verification

Computational Linguistics

Software Systems

Object Oriented Languages

Top Venues

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)