Work

Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification

Year: 2015

Type: conference-paper

Source: ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

DOI: 10.1109/icse.2015.85

Authors: Daniel Matichuk, Toby Murray, June Andronick, Ross Jeffery, Gerwin Klein, Mark Staples

Institutions: UNSW Sydney, Data61

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Australian Government, Australian Research Council

OpenAlex ID: W4230236249

FWCI: 2.707

Cites: 34

Cited by: 28

Related to: 10