IDVE: an integrated development and verification environment for JavaScript.

Christopher Schuster Cormac Flanagan

Published in: Programming (2019)

Keyphrases

open source
website
dynamic environments
real time
mobile robot
neural network
information systems
multi agent
information processing
model checking
complex environments