Index of /~rseba/DIDATTICA/mc2021/VIDEO_CLASSES

	Name	Last modified	Size	Description
	Parent Directory		-
	00README	2021-03-03 16:38	916
	2021.03.02-CL01-1-CH00-IntroToCourse.mp4	2021-03-02 19:29	198M
	2021.03.02-CL01-2-CH01-AR-BooleanLogic.mp4	2021-03-02 19:30	377M
	2021.03.03-CL02-1-CH01-AR-BasicBooleanReasoningTechniques.mp4	2021-03-03 16:27	356M
	2021.03.04-CL03-1-CH01-AR-OBDDs.mp4	2021-03-04 11:52	283M
	2021.03.09-CL04-1-CH01-AR-CDCLsatsolving.mp4	2021-03-09 14:27	584M
	2021.03.11-CL05-1-CH01-AR-SATfunctionalities.mp4	2021-03-11 12:26	401M
	2021.03.18-CL06-1-CH02-AR-FOL.mp4	2021-03-18 14:28	592M
	2021.03.23-CL07-1-CH02-AR-BasicsFolReasoning.mp4	2021-03-23 12:34	799M
	2021.03.25-CL08-1-CH02-AR-Resolution.mp4	2021-03-25 12:47	457M
	2021.03.30-CL09-1-CH03-AR-SMT-basics.mp4	2021-03-30 13:05	796M
	2021.04.01-CL10-1-CH03-AR-SMT-techniques.mp4	2021-04-01 13:00	586M
	2021.04.06-CL11-1-CH03-AR-SMT-combined.mp4	2021-04-06 14:18	930M
	2021.04.08-CL12-1-CH03-AR-SMT-functionalities.mp4	2021-04-08 11:56	525M
	2021.04.13-CL13-1-CH04-AR-LTL.mp4	2021-04-13 12:03	544M
	2021.04.15-CL14-1-CH05-AR-LTLreasoning.mp4	2021-04-15 12:28	370M
	2021.04.20-CL15-1-CH05-AR-LTL2Buchi.mp4	2021-04-20 12:51	515M
	2021.04.22-CL16-1-CH06-MC-FairSymbolicMC.mp4	2021-04-22 11:58	341M
	2021.04.27-CL17-1-CH06-MC-SymbolicCheckEG.mp4	2021-04-27 12:30	604M
	2021.04.29-CL18-1-CH06-MC-TableauxConstruction.mp4	2021-04-29 13:30	280M
	2021.05.04-CL19-1-CH06-MC-TableauxConstruction.mp4	2021-05-04 14:45	126M
	2021.05.04-CL19-2-CH07-MC-BMC.mp4	2021-05-04 14:46	389M
	2021.05.06-CL20-1-CH07-MC-BMC_Kinduction.mp4	2021-05-06 11:36	308M
	2021.05.11-CL21-1-CH08-MC-AbstractionMC.mp4	2021-05-11 11:51	418M
	2021.05.13-CL22-1-CH09-MC-TimedAutomata.mp4	2021-05-13 12:03	318M
	2021.05.18-CL23-1-CH09-MC-RegionAutomata.mp4	2021-05-18 11:56	438M
	2021.05.20-CL24-1-CH09-MC-ZoneAutomata.mp4	2021-05-20 12:04	284M
	2021.05.25-CL25-1-CH09-MC-HybridAutomata.mp4	2021-05-25 11:59	502M
	2021.05.27-CL26-1-CH09-MC-LinearHybridAutomata.mp4	2021-05-27 13:28	306M
	2021.06.01-CL27-1-CH10-MC-SMTbasedBMC.mp4	2021-06-01 12:28	444M
	2021.06.08-CL28-1-Exercises.mp4	2021-06-08 13:04	541M
	2021.06.10-CL29-1-QuestionsAnswers.mp4	2021-06-10 10:31	171M
	LAB_2021.03.10-CL01-1-CH01-AR-SAT.mp4	2021-03-11 19:05	370M
	LAB_2021.03.24-CL02-1-CH01-AR-AdvancedIncrementalSAT.mp4	2021-03-25 12:19	781M
	LAB_2021.03.31-CL03-1-CH02-AR-FOLreasoning.mp4	2021-04-01 13:01	660M
	LAB_2021.04.07-CL04-1-CH03-AR-SMT-Functionalities.mp4	2021-04-14 20:49	548M
	LAB_2021.04.14-CL05-1-CH03-AR-SMT.mp4	2021-04-08 12:26	568M
	LAB_2021.04.21-CL06-1-CH03-AR-OMT.mp4	2021-04-22 11:59	566M
	LAB_2021.04.27-CL07-1-CH06-MC-NuXmv.mp4	2021-04-29 13:32	557M
	LAB_2021.05.05-CL08-1-CH06-MC-NuXmv_MC.mp4	2021-05-05 18:55	619M
	LAB_2021.05.12-CL09-1-CH06-MC-Nuxmv_Planning.mp4	2021-05-12 15:50	797M
	LAB_2021.05.26-CL10-1-CH07-MC-SatBasedMC.mp4	2021-05-26 17:05	739M
	LAB_2021.06.03-CL11-1-CH09-MC-Nuxmv_TimedSystemsVerification.mp4	2021-06-03 15:42	531M
	LAB_2021.06.09-CL12-1-CH09-Nuxmv_HybridSystemsVerification.mp4	2021-06-09 18:35	312M