Výsledky vyhledávání - "Java Programs - Verification"
-
1
A semi-formal approach for Java programs verification
ISBN: 9781457709050, 1457709058Vydáno: IEEE 01.04.2011Vydáno v 2011 10th International Symposium on Programming and Systems (01.04.2011)“…Software testing approaches are the most used techniques for programs verification because they are simple and fast. However, because of their lack of…”
Získat plný text
Konferenční příspěvek
-
2
Specifying multithreaded Java semantics for program verification
ISBN: 158113472X, 9781581134728ISSN: 0270-5257Vydáno: New York, NY, USA ACM 01.01.2002Vydáno v Proceedings - International Conference on Software Engineering (01.01.2002)“… Most current work on multithreaded Java program verification assumes a model of execution that is based on interleaving of the operations of the individual threads…”
Získat plný text
Konferenční příspěvek Journal Article -
3
How the design of JML accommodates both runtime assertion checking and formal verification
ISSN: 0167-6423, 1872-7964Vydáno: Elsevier B.V 01.03.2005Vydáno v Science of computer programming (01.03.2005)“…Specifications that are used in detailed design and in the documentation of existing code are primarily written and read by programmers. However, most formal…”
Získat plný text
Journal Article -
4
Specifying multithreaded Java semantics for program verification
ISBN: 158113472X, 9781581134728Vydáno: IEEE 2002Vydáno v Software Engineering, 24th International Conference on ICSE 2002: IEEE Computer Society (2002)“…Most current work on multithreaded Java program verification assumes a model of execution that is based on interleaving of the operations of the individual threads…”
Získat plný text
Konferenční příspěvek