Integrating formal verification in an online judge for e-Learning logic circuit design.
Javier de San PedroJosep CarmonaJordi CortadellaJordi PetitPublished in: SIGCSE (2012)
Keyphrases
- formal verification
- circuit design
- bounded model checking
- e learning
- model checker
- digital circuits
- model checking
- online learning
- online training
- automated verification
- design automation
- symbolic model checking
- learning materials
- learning environment
- program slicing
- finite state machines
- learning resources
- learning experience
- learning objects
- temporal logic
- learning management systems
- distance learning
- online collaborative
- artificial neural networks
- distance education
- automated reasoning
- software architecture
- virtual classroom
- higher education
- learning activities
- knowledge management