Word-Level Symbolic Trajectory Evaluation

Article Details
Title:	Word-Level Symbolic Trajectory Evaluation
Article URLs:	https://doi.org/10.1007/978-3-319-21668-3_8
Alternative Article URLs:	https://link.springer.com/article/10.1007/s10703-017-0268-9
Authors:	Supratik Chakraborty	Indian Institute of Technology Bombay
	Zurab Khasidashvili	Intel IDC
	Carl-Johan H. Seger	Chalmers University
	Rajkumar Gajavelly	IIT Bombay
	Tanmay Haldankar	IIT Bombay
	Dinesh Chhatani	IIT Bombay
	Rakesh Mistry	IIT Bombay
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://www.cfdvs.iitb.ac.in/WSTE/
Artifact Correspondence Email Addresses:	supratik@cse.iitb.ac.in
NSF Award Numbers:
DBLP Key:	conf/cav/ChakrabortyKSGH15
Author Comments:

Computer Aided Verification, CAV 2015