Java Pathfinder at SV-COMP 2019 (Competition Contribution).

Cyrille Artho Willem Visser

Published in: TACAS (3) (2019)

Keyphrases

source code
open source
programming language
object oriented
object oriented programming
databases
database systems
lightweight
international competition
byte code
cross platform
application server
database applications
web applications
multi agent
website
metadata