Matches in SemOpenAlex for { <https://semopenalex.org/work/W2890861406> ?p ?o ?g. }
- W2890861406 endingPage "2379" @default.
- W2890861406 startingPage "2350" @default.
- W2890861406 abstract "After a number of success stories in safety-critical domains, we are starting to witness applications of formal methods in contemporary systems and software engineering. However, one thing that is still missing is the evaluation criteria that help software practitioners choose the right formal method for the problem at hand. In this paper, we present the criteria for evaluating and comparing different formal methods. The criteria were chosen through a literature review, discussions with experts from academia and practitioners from industry, and decade-long personal experience with the application of formal methods in industrial and academic projects. The criteria were then evaluated on several model-oriented state-based formal methods. Our research shows that besides technical grounds (eg, modeling capabilities and supported development phases), formal methods should also be evaluated from social and industrial perspectives. We also found out that it is not possible to generate a matrix that renders the selection of the right formal method an automatic process. However, we can generate several pointers, which make this selection process a lot less cumbersome." @default.
- W2890861406 created "2018-09-27" @default.
- W2890861406 creator A5047407476 @default.
- W2890861406 creator A5057561309 @default.
- W2890861406 creator A5089811302 @default.
- W2890861406 date "2018-09-13" @default.
- W2890861406 modified "2023-10-12" @default.
- W2890861406 title "Evaluating the suitability of state-based formal methods for industrial deployment" @default.
- W2890861406 cites W112017717 @default.
- W2890861406 cites W1230089505 @default.
- W2890861406 cites W127868156 @default.
- W2890861406 cites W132768739 @default.
- W2890861406 cites W143640076 @default.
- W2890861406 cites W1480981189 @default.
- W2890861406 cites W1481939332 @default.
- W2890861406 cites W1488909899 @default.
- W2890861406 cites W1491364274 @default.
- W2890861406 cites W1498334749 @default.
- W2890861406 cites W1506208208 @default.
- W2890861406 cites W1515197172 @default.
- W2890861406 cites W1519236596 @default.
- W2890861406 cites W1528921976 @default.
- W2890861406 cites W1530797069 @default.
- W2890861406 cites W1534850143 @default.
- W2890861406 cites W1539794653 @default.
- W2890861406 cites W1545681762 @default.
- W2890861406 cites W1553511155 @default.
- W2890861406 cites W1554047564 @default.
- W2890861406 cites W1561838277 @default.
- W2890861406 cites W1570300974 @default.
- W2890861406 cites W1583807511 @default.
- W2890861406 cites W1584744886 @default.
- W2890861406 cites W1590719333 @default.
- W2890861406 cites W1598031569 @default.
- W2890861406 cites W166851811 @default.
- W2890861406 cites W172265393 @default.
- W2890861406 cites W177518068 @default.
- W2890861406 cites W1837315719 @default.
- W2890861406 cites W1852748327 @default.
- W2890861406 cites W1852929912 @default.
- W2890861406 cites W1863979535 @default.
- W2890861406 cites W1968783153 @default.
- W2890861406 cites W1971486022 @default.
- W2890861406 cites W1973938051 @default.
- W2890861406 cites W1983124907 @default.
- W2890861406 cites W1985804037 @default.
- W2890861406 cites W2003313790 @default.
- W2890861406 cites W2007956495 @default.
- W2890861406 cites W2009752377 @default.
- W2890861406 cites W2010564228 @default.
- W2890861406 cites W2011329314 @default.
- W2890861406 cites W2011606665 @default.
- W2890861406 cites W2013758943 @default.
- W2890861406 cites W2015688007 @default.
- W2890861406 cites W2015910580 @default.
- W2890861406 cites W2020073275 @default.
- W2890861406 cites W2024495465 @default.
- W2890861406 cites W2025041550 @default.
- W2890861406 cites W2031111226 @default.
- W2890861406 cites W2032746740 @default.
- W2890861406 cites W2037205044 @default.
- W2890861406 cites W2042359953 @default.
- W2890861406 cites W2043100293 @default.
- W2890861406 cites W2046102833 @default.
- W2890861406 cites W2052602498 @default.
- W2890861406 cites W2060417529 @default.
- W2890861406 cites W2061208918 @default.
- W2890861406 cites W2066381570 @default.
- W2890861406 cites W2076285066 @default.
- W2890861406 cites W2077325003 @default.
- W2890861406 cites W2077359497 @default.
- W2890861406 cites W2089070459 @default.
- W2890861406 cites W2091443634 @default.
- W2890861406 cites W2098063753 @default.
- W2890861406 cites W2100307158 @default.
- W2890861406 cites W2104961083 @default.
- W2890861406 cites W2111671640 @default.
- W2890861406 cites W2115220689 @default.
- W2890861406 cites W2125047630 @default.
- W2890861406 cites W2127795748 @default.
- W2890861406 cites W2132941720 @default.
- W2890861406 cites W2135024913 @default.
- W2890861406 cites W2135465691 @default.
- W2890861406 cites W2140799462 @default.
- W2890861406 cites W2149307028 @default.
- W2890861406 cites W2150189917 @default.
- W2890861406 cites W2153773928 @default.
- W2890861406 cites W2154031891 @default.
- W2890861406 cites W2160613322 @default.
- W2890861406 cites W2160747201 @default.
- W2890861406 cites W2162289170 @default.
- W2890861406 cites W2167781251 @default.
- W2890861406 cites W2168904619 @default.
- W2890861406 cites W2169828601 @default.
- W2890861406 cites W2171516295 @default.
- W2890861406 cites W2185068032 @default.
- W2890861406 cites W2205449728 @default.
- W2890861406 cites W2272795754 @default.