Formal Methods for a Digital Industry - Industrial Track at ISoLA 2022.
Axel HessenkämperFalk HowarHardi HungarAndreas RauschPublished in: ISoLA (4) (2022)
Keyphrases
- formal methods
- industrial environment
- formal analysis
- technology transfer
- formal specification
- model checker
- artificial intelligence
- knowledge based systems
- digital world
- model checking
- safety critical
- provably correct
- process algebra
- software engineering
- temporal properties
- case study
- real world
- security properties
- formal specification language
- production rules
- information systems