The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
Chapters
-
- Overview
-
- Research
-
- Identity
-
- Additional Document Info
-
- View All
-
Overview
status
publication date
has subject area
published in
Research
keywords
-
Computer Science
-
Computer Science, Artificial Intelligence
-
Computer Science, Software Engineering
-
Computer Science, Theory & Methods
-
KEYMAERA
-
MODEL
-
REFINEMENT
-
Science & Technology
-
Technology
-
competition
-
hybrid systems
-
tool evaluation
Identity
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 13
Additional Document Info
start page
end page
volume