Výsledky vyhledávání - "Java Programs - Verification"

A semi-formal approach for Java programs verification

Autoři: Toufik Benouhiba Hanene Cheriet

Zdroj: 2011 10th International Symposium on Programming and Systems. :169-176

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Improving the Precision of a Scalable Demand-Driven Null- Dereference Verification for Java

Autoři: Margoor, Amogh

Thesis Advisors: Rasghavan, K V

Témata: Java (Computer Programme Language), Java Programs - Verification, Java Collections, Java Maps, Java Programs - Base Analysis, Computer Programs - Verification, Java Container Class Methods, Computer Science

Relation: G25614

Dostupnost: http://hdl.handle.net/2005/3284
http://etd.ncsi.iisc.ernet.in/abstracts/4146/G25614-Abs.pdf

Improving the Precision of a Scalable Demand-Driven Null- Dereference Verification for Java

Autoři: Margoor, Amogh Rasghavan, K V

Přispěvatelé: Margoor, Amogh Rasghavan, K V

Témata: Java (Computer Programme Language), Java Programs - Verification, Java Collections, Java Maps, Java Programs - Base Analysis, Computer Programs - Verification, Java Container Class Methods, Computer Science

Popis souboru: application/pdf

Relation: G25614; http://etd.iisc.ac.in/handle/2005/3284

Dostupnost: http://etd.iisc.ac.in/handle/2005/3284
http://etd.iisc.ac.in/static/etd/abstracts/4146/G25614-Abs.pdf

A journey among Java neutral program variants.

Autoři: Harrand, Nicolas Allier, Simon Rodriguez-Cancio, Marcelino a další

Zdroj: Genetic Programming & Evolvable Machines; Dec2019, Vol. 20 Issue 4, p531-580, 50p

Introductory paper.

Autoři: Arts, Thomas van de Pol, Jaco

Zdroj: International Journal on Software Tools for Technology Transfer. Jun2005, Vol. 7 Issue 3, p195-196. 2p.

Témata: *COMPUTER security, *DATA protection, *SECURITY systems, *COMPUTER software development, *COMPUTER software, *COMPUTER systems

A Case Study in Formal Verification Using Multiple Explicit Heaps

Autoři: Mostowski, Wojciech Formal Methods and Tools (FMT group) University of Twente a další

Přispěvatelé: Mostowski, Wojciech Formal Methods and Tools (FMT group) University of Twente a další

Zdroj: Lecture Notes in Computer Science ; 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) ; https://inria.hal.science/hal-01515237 ; 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.20-34, ⟨10.1007/978-3-642-38592-6_3⟩

Témata: [INFO]Computer Science [cs], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

Geografické téma: Florence, Italy

Time: Florence, Italy

Dostupnost: https://inria.hal.science/hal-01515237
https://inria.hal.science/hal-01515237v1/document
https://inria.hal.science/hal-01515237v1/file/978-3-642-38592-6_3_Chapter.pdf
https://doi.org/10.1007/978-3-642-38592-6_3

Online Inference and Enforcement of Temporal Properties.

Autoři: Gabel, Mark Zhendong Su

Zdroj: ICSE: International Conference on Software Engineering; 2010, p15-24, 10p, 3 Diagrams, 4 Charts, 1 Graph

Témata: ONLINE algorithms, JAVA programming language, COMPUTER software, ALGORITHMS, ONLINE data processing

VIATRA - visual automated transformations for formal verification and validation of UML models.

Autoři: Csertan, G. Huszerl, G. Majzik, I. a další

Zdroj: Proceedings 17th IEEE International Conference on Automated Software Engineering; 2002, p267-270, 4p

Software Engineering Techniques: Design for Quality

Zdroj: IFIP International Federation for Information Processing ISBN: 9780387393872

A Case Study in Formal Verification using Multiple Explicit Heaps

Autoři: Wojciech Mostowski The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Wojciech Mostowski The Pennsylvania State University CiteSeerX Archives

Zdroj: http://wwwhome.cs.utwente.nl/~mostowskiwi/papers/forte2013.pdf.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.433.1467; http://wwwhome.cs.utwente.nl/~mostowskiwi/papers/forte2013.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.433.1467
http://wwwhome.cs.utwente.nl/~mostowskiwi/papers/forte2013.pdf

Fuzzy Systems and Data Mining V : Proceedings of FSDM 2019

Autoři: Antonio J. Tallón-Ballesteros

Resource Type: eBook.

Témata: Conference papers and proceedings, Fuzzy systems--Congresses, Data mining--Congresses, Exploration de donna^ees (Informatique)--Congres, Exploration de donna^ees (Informatique)--Congra´, Systa´emes flous--Congra´es, Data mining, Fuzzy systems

Categories: COMPUTERS / Artificial Intelligence / General

Formal Techniques for Distributed Systems

Autoři: Dirk Beyer Michele Boreale

Resource Type: eBook.

Témata: Computer science, Software engineering, Machine theory

Categories: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General

Software Engineering Techniques: Design for Quality

Autoři: Krzysztof Sacha

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Development--Congresses

Categories: COMPUTERS / Software Development & Engineering / Systems Analysis & Design, EDUCATION / Computers & Technology

Frontiers of Combining Systems : 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings

Autoři: Alessandro Armando

Resource Type: eBook.

Témata: Logic, Symbolic and mathematical--Congresses, Computer science--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science