ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems

Joel Greenyer, Daniel Gritzner, Timo Gutjahr, Florian König, Nils Glade, Assaf Marron, Guy Katz. ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems. Science of Computer Programming, 149:15-27, 2017. [doi]

Abstract

Abstract is missing.