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...

Celý popis

Podrobná bibliografia

Vydané v:	Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) s. 26 - 30
Hlavní autori:	Agrawal, Arpan, First, Emily, Kaufman, Zhanna, Reichel, Tom, Zhang, Shizhuo, Zhou, Timothy, Sanchez-Stern, Alex, Ringer, Talia, Brun, Yuriy
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.05.2023
Predmet:	Automated proof synthesis Coq Formal verification Proofster Software quality Software systems
ISSN:	2574-1934
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!