Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System.
Rateb JabbarMoez KrichenNoora FetaisKamel BarkaouiPublished in: ICEIS (1) (2020)
Keyphrases
- formal verification
- model based testing
- model checking
- test cases
- model checker
- automated verification
- sharing information
- software development
- software design
- bounded model checking
- symbolic model checking
- testing process
- information systems
- temporal logic
- health care
- software testing
- information technology
- sequence diagrams
- databases
- database
- security policies
- open source
- data structure