Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Banda, Gourinath"'
Autor:
Banda, Gourinath, Gallagher, John P.
Publikováno v:
Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 109 - 124
interpretation-based model checking provides an approach to verifying properties of infinite-state systems. In practice, most previous work on abstract model checking is either restricted to verifying universal properties, or develops special techniq
Externí odkaz:
http://opus.kobv.de/ubp/volltexte/2010/4151/
Autor:
Gupta, Nayancy, Banda, Gourinath, Bommakanti, Krishna Chaitanya, Kothapalli, Venkata Srinivas
Publikováno v:
PeerJ Computer Science; Nov2024, p1-28, 28p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Convex polyhedral abstractions of logic programs have been found very useful in deriving numeric relationships between program arguments in order to prove program properties and in other areas such as termination and complexity analysis. We present a
Externí odkaz:
http://arxiv.org/abs/0712.2737
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
2015 11th International Conference on Signal-Image Technology & Internet-Based Systems (SITIS); 1/1/2015, p824-832, 9p
Autor:
Banda, Gourinath, Bommakanti, Krishna Chaitanya, Mohan, Harsh, Saini, Manish Singh, Chandra, Abhay
Publikováno v:
International Journal of Internet Technology and Secured Transactions; 2017, Vol. 7 Issue: 3 p193-217, 25p