A Straightforward Introduction to Formal Methods Using Coloured Petri Nets.
Franciny Medeiros BarretoJoslaine Cristina Jeske de FreitasMichel S. SoaresStéphane JuliaPublished in: ICEIS (2) (2014)
Keyphrases
- formal methods
- coloured petri nets
- formal verification
- model checking
- artificial intelligence
- formal analysis
- model checker
- formal specification
- safety critical
- process algebra
- knowledge based systems
- temporal properties
- software engineering
- machine learning
- reactive systems
- temporal logic
- modeling language
- provably correct
- user interface
- development lifecycle
- database
- formal specification language