SMT-Based Consistency Checking of Configuration-Based Components Specifications
Cyber-Physical Systems (CPSs) are engineered systems that are built from, and depend upon, the seamless integration of computational algorithms and physical components. CPSs are widely used in many safety-critical domains, making it crucial to ensure that they operate safely without causing harm to...
Main Authors: | Laura Pandolfo, Luca Pulina, Simone Vuotto |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2021-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/9446129/ |
Similar Items
-
Formally certified satisfiability solving
by: Oe, Duck Ki
Published: (2012) -
Modular strategic SMT solving with SMT-RAT
by: Kremer Gereon, et al.
Published: (2018-08-01) -
SCVerify: Verification of Software Implementation Against Power Side-Channel Attacks
by: ZHANG Jun
Published: (2021-06-01) -
SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks
by: Kimia Zamiri Azar, et al.
Published: (2018-11-01) -
SMT-Based Reasoning and Planning in TAL
by: Hallin, Magnus
Published: (2010)