sharif-omar-salem documents

#8 formal methods – pro logic
Education #8 formal methods – pro logic
#2 formal methods – principles of logic
Education #2 formal methods – principles of logic
#3 formal methods – propositional logic
Education #3 formal methods – propositional logic
#5 formal methods – hoare logic
Education #5 formal methods – hoare logic
#6 formal methods – loop proof using induction method
Education #6 formal methods – loop proof using induction method
#4 formal methods – predicate logic
Education #4 formal methods – predicate logic
#1 formal methods – introduction for software engineering
Education #1 formal methods – introduction for software engineering
PhD Presentation (Doctorate)
Education PhD Presentation (Doctorate)
#7 formal methods – loop proof examples
Education #7 formal methods – loop proof examples