Searching for "Verified Software Theories" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
A Wiley-Interscience Publication
- … Working Conference on Verified Software: Theories, Tools, Experiments (VSTTE), Oct. 2005. • Balakrishnan…
- Cited by 1 (0 self) – Add To MetaCart
-
Nationality: US Citizen
- …, M. Sagiv, R. Wilhelm, E. Yahav, and G. Yorsh. In Proceedings of Verified Software: Theories, Tools…
- Add To MetaCart
-
The Verified Software Repository: a step towards the verifying compiler
- …-critical computer applications, and contribute to an international initiative in Verified Software, covering theory…
- Cited by 4 (1 self) – Add To MetaCart
-
Model-checking Part of a Linux File System *
- … verification community to collaborate on building verifiable programs. At the first Verified Software: Theories…
- Add To MetaCart
-
Approximating predicate images for bit-vector logic
- … to a set of predicates. ⋆ Ideas of this paper first appeared as a position paper at “Verified Software…
- Cited by 4 (1 self) – Add To MetaCart
Showing 1 through 5.
