Index of /~rseba/DIDATTICA/fm2024/VIDEO_CLASSES

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]00README2024-02-28 16:54 852  
[VID]2024.02.27-CL01-1-CH00-ARFV-IntroToTheCourse.mp42024-02-27 16:57 102M 
[VID]2024.02.27-CL01-2-CH01-AR-BooleanLogic.mp42024-02-27 16:58 351M 
[VID]2024.02.27-CL01-3-CH01-AR-BooleanLogic.mp42024-02-27 16:59 11M 
[VID]2024.02.28-CL02-1-CH01-AR-BasicSatSolving.mp42024-02-28 16:49 275M 
[VID]2024.02.29-CL03-1-CH01-AR.OBDDs.mp42024-02-29 14:32 330M 
[VID]2024.03.05-CL04-1-CH01-AR-CDCLsat.mp42024-03-05 12:06 461M 
[VID]2024.03.07-CL05-1-CH01-AR-SATfunctionalities.mp42024-03-07 12:14 351M 
[VID]2024.03.12-CL06-1-CH02-AR-BasicsOnSMT.mp42024-03-12 12:18 494M 
[VID]2024.03.14-CL07-1-CH02-LazySMT.mp42024-03-14 14:32 357M 
[VID]2024.03.19-CL08-1-CH02-TheorySolvers.mp42024-03-19 12:13 490M 
[VID]2024.03.21-CL09-1-CH02-AR-TheoryCombination.mp42024-03-21 14:25 327M 
[VID]2024.03.26-CL10-1-CH02-AR-SMTfunctionalitiesAndOMT.mp42024-03-26 12:14 488M 
[VID]2024.03.28-CL11-1-CH03-AR-KripkeModelsTemporalProperties.mp42024-03-28 14:51 318M 
[VID]2024.04.02-CL12-1-CH03-AR-LTLandCTL.mp42024-04-02 14:06 397M 
[VID]2024.04.04-CL13-1-CH03-AR-LTLvsCTL.mp42024-04-04 12:27 289M 
[VID]2024.04.09-CL14-1-CH04-AR-BuchiAutomata.mp42024-04-09 17:18 424M 
[VID]2024.04.11-CL15-1-CH04-AR-LTLreasoning.mp42024-04-15 14:24 330M 
[VID]2024.04.17-CL16-1-CH04-AR-LTLReasoningExamples.mp42024-04-18 12:12 151M 
[VID]2024.04.17-CL16-2-CH05-FV-CTLModelCheckingTheory.mp42024-04-18 12:14 123M 
[VID]2024.04.18-CL16-1-Ch05-FV-CTLModelChecking.mp42024-04-18 12:16 252M 
[VID]2024.04.23-CL17-1-CH06-FV-FairCTLModelChecking.mp42024-04-23 14:27 390M 
[VID]2024.04.30-CL18-1-CH06-FV-SymbolicCTLModelChecking.mp42024-04-30 13:45 413M 
[VID]2024.05.02-CL19-1-CH06-FV-SymbolicLTLModelChecking.mp42024-05-02 12:00 298M 
[VID]2024.05.07-CL20-1-CH07-FV-BoundedModelChecking.mp42024-05-07 12:02 419M 
[VID]2024.05.09-CL21-1-CH07-FV-K-Induction.mp42024-05-09 15:15 298M 
[VID]2024.05.14-CL22-1-CH08-FV-AbstractionBasedModelChecking.mp42024-05-14 12:18 442M 
[VID]2024.05.16-CL23-1-CH09-FV-TimedAutomata.mp42024-05-16 12:23 282M 
[VID]2024.05.21-CL24-1-CH09-FV-RegionAutomata.mp42024-05-21 12:05 409M 
[VID]2024.05.23-CL25-1-CH09-FV-ZoneAutomata.mp42024-05-23 12:02 282M 
[VID]2024.05.28-CL26-1-CH09-FV-HybridAutomata.mp42024-05-28 12:16 420M 
[VID]2024.05.30-CL27-1-CH10-FV-SMTbasedBMCofTimedSystems.mp42024-05-30 14:27 348M 
[VID]2024.06.04-CL28-1-CH10-FV-SMTbasedBMCofHybridSystems.mp42024-06-04 10:19 228M 
[VID]2024.06.04-CL28-2-ARFV-ExamRules.mp42024-06-04 11:33 201M 
[VID]2024.06.06-Cl29-ARFV-QuestionsAndAnswers.mp42024-06-06 14:18 362M 

Apache/2.4.6 (CentOS) OpenSSL/1.0.2k-fips Server at disi.unitn.it Port 80