443 citations · 575 across the 4 of their papers we have counts for
1 paper · 1 filter
Asim Abdulkhaleq, Stefan Wagner, Nancy Leveson
Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of…