Thumbnail
Access Restriction
Open

Author Wang, Farn
Source CiteSeerX
Content type Text
Publisher Springer-Verlag
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Concave Path Condition ♦ Time-convex Path Condition ♦ Dense-time Automaton ♦ High Complexity ♦ Path Condition ♦ Original Location Invariance Condition ♦ Central Component ♦ Dense-time State Space ♦ Time Progress ♦ Tctl Model-checking ♦ General Setting ♦ Time-progress Evaluation Algorithm ♦ Time Progress Operator ♦ Reachability Analysis ♦ Original Automaton Location Invariance Condition ♦ Efficient Algorithm ♦ Time-progress Evaluation ♦ Predecessor State Space ♦ Path Con-ditions ♦ Evaluation Algorithm ♦ Previous Algorithm ♦ Convex Path Condition ♦ Model-checking Algorithm ♦ Time-concave Path Condi-tions ♦ Time-concave Path Condition
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Institution ATVA 2008, LNCS