Specifying linked data structures in JML for combining formal verification and testing

We show how to write concise and readable specifications of linked data structures that are applicable for both formal deductive verification and testing. A singly linked list and a binary search tree are provided as examples. The main characteristic of the specifications is the use of observer meth...

Celý popis

Podrobná bibliografie

Vydáno v:	Science of computer programming Ročník 107-108; s. 19 - 40
Hlavní autoři:	Gladisch, Christoph, Tyszberowicz, Shmuel
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.09.2015
Témata:	Formal verification Java Modeling Language (JML) Linked data structures Specification Testing Specification Linked data structures Java Modeling Language (JML) Formal verification Testing
ISSN:	0167-6423, 1872-7964
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!