Constraint specialisation in Horn clause verification.
| Autor: | Kafle, Bishoksan1 kafle@ruc.dk, Gallagher, John P.1,2 jpg@ruc.dk |
|---|---|
| Zdroj: | Science of Computer Programming. Apr2017, Vol. 137, p125-140. 16p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|
Full Text from ScienceDirect