Verification of SpecC using predicate abstraction - Research Collection

Metadata only

Author

Kroening, Daniel

Date

2007-02

Type

Journal Article

Citations

Cited 9 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1007/s10703-006-0020-3

Journal / series

Formal Methods in System Design

Volume

30(1)

Pages / Article No.

5 - 28

Publisher

Springer

Subject

Verification; System level design; Predicate abstraction

Notes

Published online 31 August 2006.

More

Show all metadata

Citations

Cited 9 times in Web of Science

ETH Bibliography

yes

Altmetrics