Towards a Broader Acceptance of Formal Verification Tools The Role of Education

被引：2

作者：

Khazeev, Mansur ^{[1
]}

Mazzara, Manuel ^{[1
]}

Aslam, Hamna ^{[1
]}

de Carvalho, Daniel ^{[1
]}

机构：

[1] Innopolis Univ, Innopolis, Russia

来源：

IMPACT OF THE 4TH INDUSTRIAL REVOLUTION ON ENGINEERING EDUCATION, ICL2019, VOL 2 | 2020年 / 1135卷

关键词：

D O I：

10.1007/978-3-030-40271-6_20

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Formal methods face challenges towards wide acceptance and adoption in software development practices. The major reason is presumed complexity of the concepts, tools and formal processes. The issue can be addressed by academia with a thoughtful plan of teaching and practise. The user study detailed in this paper is examining AutoProof tool with the motivation to identify complexities attributed to formal methods. Participants' (students of Masters program in Computer Science) performance and feedback on the experience with formal methods assisted us in extracting specific problem areas that effect tool usability. The study results infer, along with improvements in verification tool functionalities, that teaching programs need to be modified by including pre-requisite courses to make formal methods easily adapted by students and promote their usage in software development process.

引用

页码：188 / 200

页数：13

共 50 条

[31] Methods and Tools for Formal Verification of Cloud Sisal Programs
Kasyanov, Victor N.
Kasyanova, Elena, V
2ND INTERNATIONAL CONFERENCE ON MATHEMATICS AND COMPUTERS IN SCIENCE AND ENGINEERING (MACISE 2020), 2020, : 219 - 222
[32] FORMAL VERIFICATION TOOLS INCREASE IN NUMBER, IMPROVE IN QUALITY
TUCK, B
COMPUTER DESIGN, 1995, 34 (10): : 42 - 42
[33] Towards Formal Evaluation and Verification of Probabilistic Design
Lee, Nian-Ze
Jiang, Jie-Hong R.
2014 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2014, : 340 - 347
[34] Towards Formal Verification of Optimized and Industrial Multipliers
Mahzoon, Alireza
Grosse, Daniel
Scholl, Christoph
Drechsler, Rolf
PROCEEDINGS OF THE 2020 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2020), 2020, : 544 - 549
[35] Mutation Testing based Evaluation of Formal Verification Tools
Rao, A. Chakrapani
Raouf, A.
Dhadyalla, G.
Pasupuleti, V.
2017 FOURTH INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND THEIR APPLICATIONS (DSA 2017), 2017, : 1 - 7
[36] Formal Verification of Health Assessment Tools: a Case Study
Bezerra, Jonas Santos
Costa, Andrei
Ribeiro, Leila
Cota, Erika
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 324 : 31 - 47
[37] Towards formal specification and verification of a role-based authorization engine using JML
Mustafa, Tanveer
Drouineaud, Michael
Sohr, Karsten
Proceedings - International Conference on Software Engineering, 2010, : 50 - 57
[38] Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification
Tigane, Samir
Kahloul, Laid
Baarir, Souheib
Bourekkache, Samir
PROCEEDINGS OF THE 13TH EAI INTERNATIONAL CONFERENCE ON PERFORMANCE EVALUATION METHODOLOGIES AND TOOLS ( VALUETOOLS 2020), 2020, : 164 - 171
[39] ROLE OF FORMAL EDUCATION
SANFORD, T
JOURNAL OF MEDICAL EDUCATION, 1975, 50 (01): : 3 - 10
[40] Integrated program verification tools in education
de Caso, Guido
Garbervetsky, Diego
Gorin, Daniel
SOFTWARE-PRACTICE & EXPERIENCE, 2013, 43 (04): : 403 - 418

← 1 2 3 4 5 →