AstraVer

GPTKB entity

Statements (11)
Predicate Object
gptkbp:instanceOf gptkb:company
gptkbp:focus formal verification
https://www.w3.org/2000/01/rdf-schema#label AstraVer
gptkbp:industry software development
gptkbp:location gptkb:Russia
gptkbp:notableProject AstraVer toolset for C program verification
gptkbp:product AstraVer toolset
gptkbp:specializesIn formal methods
software verification
gptkbp:bfsParent gptkb:Frama-C
gptkbp:bfsLayer 7