@article{202305.2228,
	doi = {10.20944/preprints202305.2228.v1},
	url = {https://doi.org/10.20944/preprints202305.2228.v1},
	year = 2023,
	month = {May},
	publisher = {Preprints},
	author = {Yuriy Manzhos and Yevheniia Sokolova},
	title = {A Practical Type System for Formal Verification CPS &Amp; IoT C/C++ Programs},
	journal = {Preprints}
}