Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata.
Gleifer Vaz AlvesMaike SchwammbergerPublished in: FMAS/ASYDE@SEFM (2022)
Keyphrases
- timed automata
- model checking
- formal specification
- formal methods
- reachability analysis
- temporal logic
- code generation
- formal verification
- verification method
- formal analysis
- concurrent systems
- formal model
- asynchronous circuits
- source code
- byte code
- artificial intelligence
- signature verification
- face verification
- first order logic
- natural language