Generic Verification of Safety Properties For SystemC Programs Using Incomplete Interactions.

Lamia Eljadiri Ismail Assayad Abdelouahed Zakari

Published in: ICSDE (2018)

Keyphrases

imperative programs
social networks
domain specific
desirable properties
real time
symbolic execution
data sets
case study
information technology
relational databases
programming language
uncertain information
dynamic logic
hardware designs