Open AccessLet's Be Lazy, We Have Time or, Lazy Reachability Analysis for Timed Automata
Author(s) -
Loïg Jezequel,
Didier Lime
Publication year - 2017
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - reachability , computer science , automaton , model checking , reachability problem , theoretical computer science , timed automaton , path (computing) , lazy evaluation , programming language , functional programming