A PVS-Based Approach for Teaching Constructing Correct Iterations.
Michel LevyLaurent TrillingPublished in: World Congress on Formal Methods (1999)
Keyphrases
- e learning
- learning environment
- theorem proving
- distance education
- formal verification
- higher education
- web based learning
- learning analytics
- learning process
- information literacy
- distance learning
- timed automata
- learning design
- online learning
- educational technology
- problem based learning
- model checking
- teaching materials
- computer programming
- learning systems
- scientific inquiry
- computer science