Teaching Low-Code Formal Methods with Coloured Petri Nets.
Somsak Vanit-AnunchaiPublished in: FMTea (2023)
Keyphrases
- formal methods
- coloured petri nets
- model checking
- formal verification
- formal analysis
- process algebra
- provably correct
- model checker
- formal specification
- learning process
- online learning
- knowledge based systems
- higher education
- software engineering
- source code
- safety critical
- learning environment
- distance learning
- development lifecycle
- artificial intelligence
- e learning
- learning systems
- expert systems
- computer programming
- databases
- fine grained
- access control
- temporal logic
- security properties
- data mining