Paper Info
Title
Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve -- the hi-lite project
Abstract
We give a hands-on introduction to the tools GNATtest and GNATprove, both developed at AdaCore in the Hi-Lite research project. They allow to do verification of Ada 2012 contracts through testing and formal verification, and also allow a combination of the results of both tools. The tutorial will contain a very short introduction to Ada 2012, and attendees will write a small example on which they can play with GNATtest to develop test cases, and GNATprove to do some formal verification.
Year
DOI
Venue
2012
10.1145/2402676.2402680
HILT
Keywords
Field
DocType
compiler technology,formal verification,testing
Functional verification,Programming language,Intelligent verification,Computer science,Verification,Test case,Software verification,Formal verification
Conference
Volume
Issue
ISSN
32
3
1094-3641
Citations 
PageRank 
References 
1
0.35
0
Authors
1
Name
Order
Citations
PageRank
Johannes Kanig1314.74