Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems

DokhanchiAdel,HoxhaBardh,FainekosGeorgios

Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems

2017

DokhanchiAdel
HoxhaBardh
FainekosGeorgios

A framework for the elicitation and debugging of formal specifications for Cyber-Physical Systems is presented. The elicitation of specifications is handled through a graphical interface. Two debug...

Keywords:

Computer science
Software engineering
Formal specification
Debugging
Cyber-physical system
Parallel computing
Graphical user interface

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations