Login / Signup

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