Type safety analysis for Dart.

Thomas S. Heinze Anders Møller Fabio Strocco

Published in: DLS (2016)

Keyphrases

safety analysis
safety critical
symbolic model checking
fault model
nuclear power plant
knowledge base
intelligent systems
agent architecture