Timed Actors and Their Formal Verification.
Marjan SirjaniEhsan KhamespanahPublished in: EXPRESS/SOS (2023)
Keyphrases
- formal verification
- model checking
- timed automata
- petri net
- finite state machines
- model checker
- bounded model checking
- social networks
- automated verification
- temporal logic
- symbolic model checking
- distributed systems
- formal specification
- program slicing
- social structure
- functional verification
- discrete event
- expert systems