Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "quantitative model checking"
- Status: Free Trial
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Electronics, Program Development, Electronic Systems, System Design and Implementation, Embedded Software, Embedded Systems, Development Environment, Software Development, Integrated Development Environments, Design Software, Engineering Documentation, Laboratory Testing
Board Infinity
Skills you'll gain: .NET Framework, Testability, Unit Testing, Maintainability, Test Case, Integration Testing, Test Tools, Development Testing, Software Testing
EIT Digital
Skills you'll gain: Computational Logic, Deductive Reasoning, Combinatorics, Logical Reasoning, Computational Thinking, Mathematical Modeling, Operations Research, Theoretical Computer Science, Applied Mathematics, Algorithms, Linear Algebra, Verification And Validation
In summary, here are 3 of our most popular quantitative model checking courses
- FPGA Capstone: Building FPGA Projects:Â University of Colorado Boulder
- Fluent Assertion:Â Board Infinity
- Automated Reasoning: satisfiability:Â EIT Digital