Symbolic simulation for debugging and analysis of REKO models using KLEE

Marta Vicente Romero

Symbolic simulation for debugging and analysis of REKO models using KLEE

2013

Marta Vicente Romero

The verification of embedded software plays an important role in the design process of dependable and/or real-time systems. Testing remains an important means to validate desired system operation a ...

Keywords:

Symbolic simulation
Engineering design process
Programming language
Embedded software
Debugging
Computer science

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations