Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code.
David SanánLiu YangYongwang ZhaoZhenchang XingMike HincheyPublished in: ICECCS (2015)
Keyphrases
- linked list
- data structure
- code generation
- high level
- efficient implementation
- artificial intelligence
- source code
- model checking
- formal specification
- state machines
- specification language
- texas instruments
- database
- java virtual machine
- application programming interface
- implementation details
- special case
- genetic algorithm