Formal Verification of Time Constrains SysML Internal Block Diagram Using PRISM.
Sajjad AliMuhammad Abdul Basit Ur RahimFahim ArifPublished in: ICCSA (Short Papers/poster papers/PhD student showcase works) (2015)
Keyphrases
- formal verification
- model checking
- symbolic model checking
- safety analysis
- formal methods
- model checker
- automated verification
- internal and external
- bounded model checking
- program slicing
- temporal logic
- modeling language
- generation algorithm
- state transition
- block size
- functional verification
- rough sets
- formal specification
- orders of magnitude
- distributed systems