An approach to generating C code with proven LTL-based properties.

Published in: EUROCON (2011)

Keyphrases

model checking
deterministic automata
desirable properties
genetic algorithm
information systems
source code
bounded model checking
databases
artificial intelligence
knowledge base
open source
generation process