Index of /~rseba/DIDATTICA/fm2023/VIDEO_CLASSES

	Name	Last modified	Size	Description
	Parent Directory		-
	00README	2023-02-28 12:38	921
	2023.02.28-CL01-1-CH01-AR-IntroCourseBooleanLogic.mp4	2023-02-28 12:37	599M
	2023.03.01-CL02-1-CH01-AR-BasicBooleanReasoning.mp4	2023-03-01 15:14	285M
	2023.03.02-CL03.1.CH01-AR-CDCL-SAT-solving.mp4	2023-03-02 12:15	353M
	2023.03.07-CL04-1-Ch01-AR-CDCL-Incremental-functionalities.mp4	2023-03-07 12:32	498M
	2023.03.08-CL05-1-CH01-AR-OBDD.mp4	2023-03-08 14:52	237M
	2023.03.14-CL06-1-CH02-AR-IntroductionToSMT.mp4	2023-03-14 12:12	547M
	2023.03.16-CL07-1-CH02-AR-LazySMT.mp4	2023-03-17 17:38	397M
	2023.03.21-CL08-1-CH02-AR-TSolvers.mp4	2023-03-21 13:19	508M
	2023.03.28-CL09-1-CH02-AR-TheoryCombinationFunctionalities.mp4	2023-03-28 15:39	537M
	2023.03.29-CL10-1-CH02-AR-OMT.mp4	2023-03-29 14:53	269M
	2023.03.29-CL10-2-CH03-AR-KripkeModels.mp4	2023-03-29 14:54	63M
	2023.03.30-CL11-1-CH03-AR-KripkeMOdelsTemporalProperties.mp4	2023-03-30 12:19	333M
	2023.04.04-CL12-1-CH03-AR-LTL.mp4	2023-04-04 12:28	169M
	2023.04.04-CL12-2-CH03-AR-CTL.mp4	2023-04-04 12:29	225M
	2023.04.06-CL13-1-CH04-AR-BuchiAutomata.mp4	2023-04-06 14:49	297M
	2023.04.11-CL14-1-CH04-AR-LTLReasoning.mp4	2023-04-11 12:06	450M
	2023.04.13-CL15-1-CH04-AR-LTLtoBuchi.mp4	2023-04-13 12:38	402M
	2023.04.19-CL16-1-CH05-FV-CTLModelChecking.mp4	2023-04-19 14:00	222M
	2023.04.20-CL17-1-CH05-FV-CTLInvariantChecking.mp4	2023-04-20 11:51	187M
	2023.04.20-CL17-2-CH06-FV-SymbolicRepresentationOfSystems.mp4	2023-04-20 11:52	82M
	2023.04.26-CL18-1-CH06-FV-SymbolicModelChecking.mp4	2023-04-26 15:12	279M
	2023.04.27-CL19-1-CH06-FV-SymbolicFairCTLModelChecking.mp4	2023-04-27 12:10	330M
	2023.05.02-CL20-1-CH06-FV-SymbolicLTLModelChecking.mp4	2023-05-02 12:32	415M
	2023.05.04-CL21-1-CH06-FV-SymbolicLTLModelChecking.mp4	2023-05-04 12:53	60M
	2023.05.04-CL21-2-CH07-FV-SATbasedMC.mp4	2023-05-04 12:54	210M
	2023.05.09-CL22-1-CH07-FV-SATbasedMC.mp4	2023-05-09 17:59	399M
	2023.05.11-CL23-1-CH08-FV-AbstractionRefinement.mp4	2023-05-11 12:18	345M
	2023.05.16-CL24-1-CH09-FV-TimedSystems.mp4	2023-05-18 12:25	427M
	2023.05.18-CL25-1-CH09-FV-VerificationOfTimedSystems.mp4	2023-05-18 12:27	312M
	2023.05.23-CL26-1-CH09-FV-DBMs.mp4	2023-05-23 16:21	117M
	2023.05.23-CL26-2-CH09-FV-HybridAutomata.mp4	2023-05-23 16:22	284M
	2023.05.25-CL27-1-CH09-FV-HybridInvariantChecking.mp4	2023-05-25 12:35	332M
	2023.05.30-CL28-1-CH10-FV-SMTbasedTimedVerification.mp4	2023-05-30 12:41	443M
	2023.06.01-CL29-1-CH10-FV-SMTbasedHybridVerification.mp4	2023-06-01 11:53	129M
	2023.06.01-CL29-2-ARandFVExamRules.mp4	2023-06-01 11:54	91M
	2023.06.06-CL30-1-ARandFV_QuestionAnswersing.mp4	2023-06-06 11:46	732M