id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
work_wlzntvhrtjanfdcmp72fytknpe	Guoqing Wang	Exact acceleration of complex real-time model checking based on overlapping cycle	2020	24	.pdf	application/pdf	10008	1249	65	In this paper, a complex real-time exact acceleration method based on an Exact acceleration of complex real-time model checking • An exact acceleration method based on a parking cycle was proposed (Yin, Zhuang & method for complex real-time model checking based on an overlapping cycle, which is an The exact acceleration method for complex real-time models based on an overlapping cycle is proposed in 'Exact Acceleration of Complex Real-time System Model the timed automaton M with a parking cycle whose edge guard y controls the acceleration The appended cycle and parking cycle technologies in exact acceleration apply to a real-time method for the complex real-time model based on an overlapping cycle is an improved acceleration technology to complex real-time model checking to improve efficiency and real-time model checking differs from the exact acceleration of a single acceleratable cycle. Exact acceleration of real-time model checking. Exact acceleration of real-time model checking based	./cache/work_wlzntvhrtjanfdcmp72fytknpe.pdf	./txt/work_wlzntvhrtjanfdcmp72fytknpe.txt