abstract interpretation; formal verification; systemc