Index of /~rseba/DIDATTICA/arfv2025/VIDEO_CLASSES

	Name	Last modified	Size	Description
	Parent Directory		-
	00README	2025-02-21 09:23	939
	2025.02.25-CL01-1-CH00-ARFV-IntroToTheCourse.mp4	2025-02-25 12:14	152M
	2025.02.25-CL01-2-CH01-AR-BooleanLogic.mp4	2025-02-25 12:14	318M
	2015.02.26-CL02-1-AR-BasicBooleanReasoing.mp4	2025-02-26 14:29	315M
	2025.02.26-CL02-1-CH01-AR-BasicBooleanReasoing.mp4	2025-02-26 14:29	315M
	2025.02.27-CL03-1-CH01-AR-OBDDs.mp4	2025-02-28 08:55	301M
	2025.03.04-CL04-1-CH01-AR-CDCLSatSolvers.mp4	2025-03-04 12:25	453M
	2025.03.06-CL05-1-CH01-AR-IncrementalSAT.mp4	2025-03-06 14:36	350M
	2025.03.11-CL06-1-CH01-AR-OtherSatFunctionalities.mp4	2025-03-11 12:00	240M
	2025.03.11-CL06-2-CH02-AR-FOLandTheories.mp4	2025-03-11 12:00	200M
	2025.03.13-Cl07-1-CH02-AR-BasicsSMT.mp4	2025-03-13 13:23	379M
	2025.03.18-CL08-1-CH02-AR-TheorySolvers.mp4	2025-03-18 12:08	483M
	2025.03.20-CL09-1-CH02-AR-TheoryCombination.mp4	2025-03-20 11:59	349M
	2025.03.25-CL10-1-CH02-AR-SMTFunctionalities.mp4	2025-03-25 12:48	484M
	2025.03.27-CL11-1-CH03-AR-BasicsTemporalReasoning.mp4	2025-04-01 11:46	288M
	2025.04.01-CL12-1-CH03-AR-LTLandCTL.mp4	2025-04-01 11:46	391M
	2025.04.03-CL13-1-CH03-AR-LTLvsCTL.mp4	2025-04-03 11:42	270M
	2025.04.08-CL14-1-CH04-AR-BuchiAutomata.mp4	2025-04-08 13:58	406M
	2025.04.10-CL15-1-CH04-AR-LTLtoBuchi.mp4	2025-04-10 15:23	345M
	2025.04.16-CL16-1-CH05-FV-CTLModelChecking.mp4	2025-04-16 14:24	247M
	2025.04.17-CL17-1-CH05-FV-InvariantCheckingAndFair.mp4	2025-04-17 16:03	297M
	2025.04.22-CL18-1-CH05-FV-FairModelChecking.mp4	2025-04-22 11:48	278M
	2025.04.22-CL18-2-CH06-FV-BasicsSymbolicModelChecking.mp4	2025-04-22 11:50	144M
	2025.04.24-CL19-1-CH06-FV-SymbolicCTLModelChecking.mp4	2025-04-24 12:51	264M
	2025.04.29-CL20-1-CH06-FV-SymbolicLTLModelChecking.mp4	2025-04-29 13:01	432M
	2025.05.06-CL21-1-CH07-FV-BoundedModelChecking.mp4	2025-05-06 13:08	450M
	2025.05.08-CL22-1-CH06-FV-KInduction.mp4	2025-05-08 12:21	285M
	2025.05.08-CL22-1-CH07-FV-KInduction.mp4	2025-05-08 12:21	285M
	2025.05.13-CL23-1-CH08-FV-CEGAR.mp4	2025-05-13 12:12	439M
	2025.05.15-CL24-1-CH09-FV-TimedAutomata.mp4	2025-05-15 12:08	290M
	2025.05.15-CL25-1-CH09-FV-RegionAutomata.mp4	2025-05-20 11:42	387M
	2025.05.20-CL25-1-CH09-FV-RegionAutomata.mp4	2025-05-20 11:42	387M
	2025.05.22-CL26-1-CH09-FV-ZoneAutomata.mp4	2025-05-22 12:14	304M
	2025.05.27-CL27-1-CH09-FV-HybridAutomata.mp4	2025-05-27 11:56	427M
	2025.05.29-CL28-1-CH10-FV-SMTbasedBMCTimed.mp4	2025-05-29 12:19	288M
	2025.06.03-CL29-1-CH10-FV-SMTbasedBMChybrid.mp4	2025-06-03 11:50	471M
	2025.06.05-CL30-1-ChAll-FV-QuestionAnswering.mp4	2025-06-05 14:24	363M