Verification and falsification of programs with loops using predicate abstraction - Research Collection

Metadata only

Author

Kroening, Daniel

Weissenbacher, Georg

Date

2010

Type

Journal Article

Citations

Cited 5 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1007/s00165-009-0110-2

Journal / series

Formal aspects of computing

Volume

22(2)

Pages / Article No.

105 - 128

Publisher

Springer International

Notes

Received 10 February 2008, Accepted 14 March 2009, Published online 7 April 2009.

More

Show all metadata

Citations

Cited 5 times in Web of Science

ETH Bibliography

yes

Altmetrics