issues
search
fme-teaching
/
fm-courses
List of Formal Methods Courses
3
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
(In-)Formal Methods
#58
carrollMorgan
opened
5 years ago
0
Logic for Systems
#57
jff
opened
5 years ago
0
Software Analysis
#56
jff
opened
5 years ago
0
Theoretical Computer Science II
#55
jff
opened
5 years ago
0
[CLOSED] Formal Methods
#54
jff
closed
5 years ago
0
Formal Methods
#53
jff
opened
5 years ago
0
Applied Formal Methods
#52
jff
opened
5 years ago
0
Trustworthy programming
#51
jff
opened
5 years ago
0
Certified Programming
#50
jff
opened
5 years ago
0
Computer Aided Verification
#49
jff
opened
5 years ago
0
Software Verification
#48
jff
closed
3 years ago
2
Logic and Semantics of Programming Languages
#47
jff
opened
5 years ago
1
Types and Lambda Calculus
#46
jff
opened
5 years ago
0
Systems Verification
#45
jff
opened
5 years ago
0
Logic and Formal Methods (Logik und formale Methoden)
#44
jff
opened
5 years ago
0
System Validation
#43
jff
opened
5 years ago
0
Programming Languages
#42
jff
opened
5 years ago
0
Rule Based Design
#41
jff
opened
5 years ago
0
System Validation
#40
jff
opened
5 years ago
0
Software Specification
#39
jff
opened
5 years ago
0
Process Algebra
#38
jff
opened
5 years ago
0
System Validation
#37
jff
opened
5 years ago
0
Formal Methods for Software Engineering (25 ECTS)
#36
jff
opened
5 years ago
0
Security Engineering
#35
jff
opened
5 years ago
0
Formal Methods in Software Engineering
#34
jff
opened
5 years ago
0
Logic for system analysis
#33
jff
opened
5 years ago
0
Testing, Debugging, and Verification
#32
jff
opened
5 years ago
0
Software Engineering using Formal Methods
#31
jff
opened
5 years ago
0
Introduction to C program proof using Frama-C and its WP plugin
#30
jff
opened
5 years ago
3
Modeling and Programming
#29
jff
opened
5 years ago
0
Certified Software
#28
jff
opened
5 years ago
0
Mechanized Reasoning about Programs
#27
jff
opened
5 years ago
0
Computação Fiável (Reliable Programming)
#26
jff
opened
5 years ago
1
Proofs of Programs
#25
jff
opened
5 years ago
1
Verifying Complex Systems
#24
jff
opened
5 years ago
0
Formal methods for concurrent and real-time systems
#23
jff
closed
2 months ago
1
Vérification déductive de programmes (deductive verification of programs)
#22
jff
opened
5 years ago
0
HECS (High-Confidence Embedded and Cyberphysical Systems)
#21
jff
opened
5 years ago
0
Programming: Correctness by Construction
#20
jff
opened
5 years ago
0
Introduction to Model Driven Development
#19
jff
opened
5 years ago
0
Engineering Interactive Systems
#18
jff
opened
5 years ago
0
Logic and Computation
#17
jff
opened
5 years ago
0
Model Checking
#16
jff
opened
5 years ago
0
Specification Languages and Models
#15
jff
opened
5 years ago
0
Formal Software Engineering
#14
jff
opened
5 years ago
0
Safety Critical Systems
#13
jff
opened
5 years ago
0
Software Correctness
#12
jff
opened
5 years ago
0
High Integrity Systems Engineering
#11
jff
opened
5 years ago
0
Software Testing and Quality Assurance
#10
jff
opened
5 years ago
0
Advanced Topics in Theory and Practice of Software
#9
jff
opened
5 years ago
0
Previous
Next