System Validation (2): Model process behaviour
Completed by Jaime Cuartas Granada
February 17, 2024
3 hours (approximately)
Jaime Cuartas Granada's account is verified. Coursera certifies their successful completion of System Validation (2): Model process behaviour
What you will learn
Understand formal techniques for specifying and analysing system communication and information processing.
Apply process algebra concepts including actions, recursion, synchronization, and communication operators
Construct and work with formal data types, sets, lists, functions, and structured specifications for system modelling
Analyze distributed algorithms and concurrent systems such as Peterson’s mutual exclusion algorithm
Skills you will gain
- Category: Systems Analysis
- Category: Software Design
- Category: Data Modeling
- Category: Distributed Computing
- Category: Verification And Validation
- Category: Maintainability
- Category: Theoretical Computer Science
- Category: Logical Reasoning
- Category: Embedded Software
- Category: Algorithms
- Category: Process Modeling
