Verification-based software-fault detection

Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software ""bugs"") are described which are based on a formal deductive verification technology. The described te...

ver descrição completa

Detalhes bibliográficos

Autor principal:	Gladisch, Christoph David
Formato:	Online
Idioma:	inglês
Publicado em:	KIT Scientific Publishing 2021
Assuntos:	QA75.5-76.95 Fault Detection Model Generation Theorem Proving Test Generation Dynamic Logic bic Book Industry Communication::U Computing & information technology::UY Computer science
Acesso em linha:	35655
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!