Old Web
English
Sign In
Acemap
>
Paper
>
Automatic invariant strengthening to prove properties in bounded model checking
Automatic invariant strengthening to prove properties in bounded model checking
2006
Awedh
Somenzi
Keywords:
Boolean function
Formal verification
Automated theorem proving
Invariant (computer science)
Computability
Logic synthesis
Bounded function
Algebra
Model checking
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
3
References
2
Citations
NaN
KQI
[]