Formal Verification of the VAMP Floating Point Unit.
Christian JacobiChristoph BergPublished in: Formal Methods Syst. Des. (2005)
Keyphrases
- formal verification
- floating point unit
- floating point
- model checking
- massively parallel
- automated verification
- symbolic model checking
- bounded model checking
- model checker
- fixed point
- program slicing
- fine grained
- temporal logic
- data processing
- formal specification
- image segmentation
- knowledge representation
- pairwise
- optimal solution