• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Formal Verification of kLIBC with the WP Frama-C Plug-in.

Nuno CarvalhoCristiano da Silva SousaJorge Sousa PintoAaron Tomb
Published in: NASA Formal Methods (2014)
Keyphrases
  • formal verification
  • model checking
  • symbolic model checking
  • automated verification
  • wavelet packet
  • model checker
  • bounded model checking
  • program slicing
  • temporal logic
  • functional verification