Completeness and Consistency of Tabular Requirements: An SMT-Based Verification Approach
Journal Articles
-
- Overview
-
- Research
-
- Identity
-
- Additional Document Info
-
- View All
-
Overview
status
publication date
has subject area
published in
Research
keywords
-
CHECKING
-
Computer Science
-
Computer Science, Software Engineering
-
Engineering
-
Engineering, Electrical & Electronic
-
FUNCTION BLOCK DIAGRAMS
-
LANGUAGE
-
PVS
-
Requirements tables
-
Science & Technology
-
TEMPORAL LOGIC
-
TRANSLATION
-
Technology
-
completeness
-
consistency
-
cyber-physical systems
-
requirements
-
tabular expressions
-
tabular requirements
Identity
Digital Object Identifier (DOI)
Additional Document Info
start page
end page
volume
issue