Formal Verification of Parametric Multiplicative Division Implementations.

Nikhil Kikkeri Peter-Michael Seidel

Published in: ICCD (2005)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
coloured petri nets
symbolic model checking
efficient implementation
parametric models
program slicing
artificial intelligence
fuzzy sets
real valued
functional verification