Don’t care words with an application to the automata-based approach for real addition

Download

Open access

Author

Date

2008-12

Type

Journal Article

ETH Bibliography

yes

Altmetrics

Download

Rights / license

Permanent link

https://doi.org/10.3929/ethz-b-000001030

Publication status

published

External links

Journal / series

Formal Methods in System Design

Volume

33(1-3)

Pages / Article No.

85 - 115

Publisher

Springer

Subject

Decision procedure; Mixed linear arithmetic over the integers and reals; Automata theory; Verification of infinite-state systems

Organisational unit

03634 - Basin, David / Basin, David

Notes

Published online 3 October 2008. It was possible to publish this article open access thanks to a Swiss National Licence with the publisher

More

ETH Bibliography

yes

Altmetrics

Research Collection