Semantics-based program verifiers for all languages

Article Details
Title:	Semantics-based program verifiers for all languages
Article URLs:	https://doi.org/10.1145/2983990.2984027
Alternative Article URLs:
Authors:	Andrei Stefanescu	University of Illinois at Urbana-Champaign
	Daejun Park	University of Illinois at Urbana-Champaign
	Shijiao Yuwen	University of Illinois at Urbana-Champaign
	Yilong Li	Runtime Verification, Inc.
	Grigore Rosu	University of Illinois at Urbana-Champaign
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://github.com/kframework/k-legacy/wiki/Program-Verification
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1218605, 1318191, 1421575
DBLP Key:	conf/oopsla/StefanescuPYLR16
Author Comments:

ACM SIGPLAN Intl. Conf. on OO Programming, Systems, Langs., and Apps., OOPSLA 2016