Prover-based bounded model-checking and inductive verification of SMI models
Type
Technical report
Year
2000
Publisher
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering