An integrated environment for Spin-based C code checking Towards bringing model-driven code checking closer to practitioners

Model-driven code checking (MDCC) has been successfully used for the verification of functional requirements of C code. An environment model that describes the context, which a program is expected to run in, is defined in Promela, translated to a model checker program by Spin, and linked with the pr...

Celý popis

Podrobná bibliografie

Vydáno v:	International journal on software tools for technology transfer Ročník 21; číslo 3; s. 267 - 286
Hlavní autoři:	Ratiu, Daniel, Ulrich, Andreas
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2019
Témata:	Computer Science Software Engineering Software Engineering/Programming and Operating Systems Spin 2017 Theory of Computation Model checking Domain-specific languages Code sanitizers Testing Code verification
ISSN:	1433-2779, 1433-2787
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!