Login / Signup
Formal verification of a domain specific language for run-time adaptation.
Shahid Khan
Faiq Khalid
Osman Hasan
João M. P. Cardoso
Published in:
SysCon (2018)
Keyphrases
</>
formal verification
model checking
model checker
automated verification
bounded model checking
coloured petri nets
symbolic model checking
fuzzy logic
program slicing
domain independent