Index of /~rseba/DIDATTICA/fm2024/VIDEO_CLASSES

	Name	Last modified	Size	Description
	Parent Directory		-
	00README	2024-02-28 16:54	852
	2024.02.27-CL01-1-CH00-ARFV-IntroToTheCourse.mp4	2024-02-27 16:57	102M
	2024.02.27-CL01-2-CH01-AR-BooleanLogic.mp4	2024-02-27 16:58	351M
	2024.02.27-CL01-3-CH01-AR-BooleanLogic.mp4	2024-02-27 16:59	11M
	2024.02.28-CL02-1-CH01-AR-BasicSatSolving.mp4	2024-02-28 16:49	275M
	2024.02.29-CL03-1-CH01-AR.OBDDs.mp4	2024-02-29 14:32	330M
	2024.03.05-CL04-1-CH01-AR-CDCLsat.mp4	2024-03-05 12:06	461M
	2024.03.07-CL05-1-CH01-AR-SATfunctionalities.mp4	2024-03-07 12:14	351M
	2024.03.12-CL06-1-CH02-AR-BasicsOnSMT.mp4	2024-03-12 12:18	494M
	2024.03.14-CL07-1-CH02-LazySMT.mp4	2024-03-14 14:32	357M
	2024.03.19-CL08-1-CH02-TheorySolvers.mp4	2024-03-19 12:13	490M
	2024.03.21-CL09-1-CH02-AR-TheoryCombination.mp4	2024-03-21 14:25	327M
	2024.03.26-CL10-1-CH02-AR-SMTfunctionalitiesAndOMT.mp4	2024-03-26 12:14	488M
	2024.03.28-CL11-1-CH03-AR-KripkeModelsTemporalProperties.mp4	2024-03-28 14:51	318M
	2024.04.02-CL12-1-CH03-AR-LTLandCTL.mp4	2024-04-02 14:06	397M
	2024.04.04-CL13-1-CH03-AR-LTLvsCTL.mp4	2024-04-04 12:27	289M
	2024.04.09-CL14-1-CH04-AR-BuchiAutomata.mp4	2024-04-09 17:18	424M
	2024.04.11-CL15-1-CH04-AR-LTLreasoning.mp4	2024-04-15 14:24	330M
	2024.04.17-CL16-1-CH04-AR-LTLReasoningExamples.mp4	2024-04-18 12:12	151M
	2024.04.17-CL16-2-CH05-FV-CTLModelCheckingTheory.mp4	2024-04-18 12:14	123M
	2024.04.18-CL16-1-Ch05-FV-CTLModelChecking.mp4	2024-04-18 12:16	252M
	2024.04.23-CL17-1-CH06-FV-FairCTLModelChecking.mp4	2024-04-23 14:27	390M
	2024.04.30-CL18-1-CH06-FV-SymbolicCTLModelChecking.mp4	2024-04-30 13:45	413M
	2024.05.02-CL19-1-CH06-FV-SymbolicLTLModelChecking.mp4	2024-05-02 12:00	298M
	2024.05.07-CL20-1-CH07-FV-BoundedModelChecking.mp4	2024-05-07 12:02	419M
	2024.05.09-CL21-1-CH07-FV-K-Induction.mp4	2024-05-09 15:15	298M