String Analysis via Automata Manipulation with Logic Circuit Representation

Article Details
Title:	String Analysis via Automata Manipulation with Logic Circuit Representation
Article URLs:	https://doi.org/10.1007/978-3-319-41528-4_13
Alternative Article URLs:
Authors:	Hung-En Wang	National Taiwan University, Graduate Institute of Electronics Engineering
	Tzung-Lin Tsai	National Taiwan University, Graduate Institute of Electronics Engineering
	Chun-Han Lin	National Chengchi University, Department of Management Information Systems
	Fang Yu	National Chengchi University, Department of Management Information Systems
	Jie-Hong R. Jiang	National Taiwan University, Graduate Institute of Electronics Engineering
Sharing:	Unknown
Verification:	Authors have not 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:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/cav/WangTLYJ16
Author Comments:

Computer Aided Verification, CAV 2016