On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems.
Marina DiotoEduardo Rohde ErasValdivino Alexandre de Santiago JúniorPublished in: ICCSA (2) (2019)
Keyphrases
- model checking
- power supply
- automated verification
- temporal logic
- finite state machines
- formal methods
- formal specification
- formal verification
- reactive systems
- artifact centric
- asynchronous circuits
- verification method
- model checker
- epistemic logic
- bounded model checking
- symbolic model checking
- intelligent control
- energy supply
- neural network
- computation tree logic
- transition systems
- process algebra
- concurrent systems
- fuzzy logic
- expert systems
- decision making