Software verification

被引：4

作者：

Kroening, Daniel

机构：

来源：

关键词：

Application programs;

D O I：

10.3233/978-1-58603-929-5-505

中图分类号：

学科分类号：

摘要：

引用

页码：505 / 532

共 50 条

[1] From software verification to 'everyware' verification
Kwiatkowska, Marta
COMPUTER SCIENCE-RESEARCH AND DEVELOPMENT, 2013, 28 (04): : 295 - 310
[2] VERIFICATION OF SOFTWARE PROGRAMS
BUCKLEY, FJ
COMPUTERS AND AUTOMATION, 1971, 20 (02): : 23 - &
[3] Verification of Concurrent Software
Huisman, Marieke
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (261): : 2 - 2
[4] Challenges of software verification
Arceri, Vincenzo
Negrini, Luca
Olivieri, Luca
Ferrara, Pietro
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2024, 26 (06) : 669 - 672
[5] Software verification & validation
Pierce, P
NORTHCON/96 - IEEE TECHNICAL APPLICATIONS CONFERENCE, CONFERENCE RECORD, 1996, : 265 - 268
[6] Software Dataplane Verification
Dobrescu, Mihai
Argyraki, Katerina
COMMUNICATIONS OF THE ACM, 2015, 58 (11) : 113 - 121
[7] Verification of Concurrent Software
Kroening, Daniel
DEPENDABLE SOFTWARE SYSTEMS ENGINEERING, 2016, 45 : 159 - 178
[8] SOFTWARE TESTING AND VERIFICATION
WHITE, LJ
ADVANCES IN COMPUTERS, 1987, 26 : 335 - 391
[9] Software to streamline verification
不详
PROFESSIONAL ENGINEERING, 2004, 17 (18) : 45 - 45
[10] Deductive software verification
Filliâtre J.-C.
International Journal on Software Tools for Technology Transfer, 2011, 13 (5) : 397 - 403