id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
cord-030704-cgoq0m5u	Wimmer, Simon	Verified Certification of Reachability Checking for Timed Automata	2020-03-13		.txt	text/plain	6787	308	55	As a consequence, one wants to ensure as rigorously as possible that the computation results of timed automata model checkers are correct. We only study reachability: it is the most important property that is checked with timed automata model checkers, and some model checkers only support reachability.	cache/cord-030704-cgoq0m5u.txt	txt/cord-030704-cgoq0m5u.txt
