Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs.
Hannah ArndtChristina JansenJoost-Pieter KatoenChristoph MathejaThomas NollPublished in: CAV (2) (2018)
Keyphrases
- java programs
- object oriented languages
- random walk
- data structure
- graph representation
- object oriented
- source code
- graph structure
- java bytecode
- graph model
- open source
- connected components
- graph theory
- graph databases
- graph mining
- multi threaded
- weighted graph
- database applications
- programming language
- directed acyclic graph
- graph structures
- dependency graph
- graph based algorithm
- java virtual machine
- programming skills
- graph construction
- graph theoretic
- undirected graph
- spanning tree
- database
- answer sets
- directed graph
- model checking
- lightweight
- high level