SyLVaaS: System Level Formal Verification as a Service* (Q4589244)
From MaRDI portal
scientific article; zbMATH DE number 6804762
Language | Label | Description | Also known as |
---|---|---|---|
English | SyLVaaS: System Level Formal Verification as a Service* |
scientific article; zbMATH DE number 6804762 |
Statements
SyLVaaS: System Level Formal Verification as a Service* (English)
0 references
9 November 2017
0 references
verification as a service
0 references
model checking
0 references
hybrid systems
0 references
system level fo verification
0 references
distributed multi-core hardware in the loop simulation
0 references