Teaching Low-Code Formal Methods with Coloured Petri Nets.
Somsak Vanit-AnunchaiPublished in: FMTea (2022)
Keyphrases
- formal methods
- coloured petri nets
- formal verification
- model checking
- formal analysis
- safety critical
- model checker
- knowledge based systems
- e learning
- provably correct
- formal specification
- process algebra
- artificial intelligence
- learning process
- high school
- software engineering
- computer programming
- test driven development
- learning environment
- source code
- reactive systems
- distance learning
- higher education
- knowledge acquisition
- security properties
- data model
- business processes
- modeling language
- temporal logic
- fine grained