Java Ranger at SV-COMP 2020 (Competition Contribution).

Vaibhav Sharma Soha Hussein Michael W. Whalen Stephen McCamant Willem Visser

Published in: TACAS (2) (2020)

Keyphrases

open source
lightweight
source code
real time
programming language
artificial intelligence
byte code
multiscale
distributed object
object oriented
development environment
cross platform
international competition
java programs
web applications
multi agent
high level
data sets