PRoofster: Automated Formal Verification

Formal verification is an effective but extremely work-intensive method of improving software quality. Verifying the correctness of software systems often requires significantly more effort than implementing them in the first place, despite the existence of proof assistants, such as Coq, aiding the...

Full description

Bibliographic Details

Published in:	Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) pp. 26 - 30
Main Authors:	Agrawal, Arpan, First, Emily, Kaufman, Zhanna, Reichel, Tom, Zhang, Shizhuo, Zhou, Timothy, Sanchez-Stern, Alex, Ringer, Talia, Brun, Yuriy
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.05.2023
Subjects:	Automated proof synthesis Coq Formal verification Proofster Software quality Software systems
ISSN:	2574-1934
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!