Search Results - Software/Program Verification General Terms Algorithms
-
1
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification General Terms Algorithms, Reliability, Verification Keywords Software verification, SMT solvers, decision procedures, heap-manipulating programs
File Description: application/pdf
-
2
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification General Terms Algorithms, Verification Keywords SHIM, concurrency, static analysis, deadlock, divide-and-conquer
File Description: application/pdf
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification—Formal Methods, Model Checking, D.1.3 [Programming Techniques, Concurrent Pro- gramming, F.3.1 [Logics and Meaning of Programs, Specifying and Verifying and Reasoning about Programs—Assertions, Me- chanical Verification General Terms Algorithms, Design, Languages, Verification Keywords Memory Models, Axiomatic Specifications, Bounded Model Checking, SAT
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.687.730; http://homes.cs.washington.edu/%7Eemina/pubs/memsat.pldi10.pdf
-
4
Authors: et al.
Source: Applied Water Science; Oct2025, Vol. 15 Issue 10, p1-21, 21p
Subject Terms: VIRTUAL reality, MACHINE learning, OPTIMIZATION algorithms, FLOOD risk, ENVIRONMENTAL mapping, GEOGRAPHICAL positions, RANDOM forest algorithms
Geographic Terms: FARS (Iran)
-
5
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification General Terms Algorithms, Reliability, Verification Keywords Software verification, SMT solvers, decision procedures, heap-manipulating programs
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.2044; http://www.research.microsoft.com/~qadeer/docs/popl08.havoc.pdf
-
6
Authors: et al.
Source: Diagnostics (2075-4418); Sep2025, Vol. 15 Issue 18, p2365, 15p
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Programs, F.3.2 [Logics and meaning of programs, Semantics of Programming Languages—Program analysis, D.2.4 [Software Engineering, Software/Program Verification General Terms Algorithms, Theory, Verification Keywords inter-procedural analysis, abstract domains, interrupt- driven
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.653.4297; http://goblint.in.tum.de/papers/osek.pdf
-
8
Authors: et al.
Contributors: et al.
Subject Terms: D.2.4 [Software Engineering, Software/Program Verification General Terms Algorithms, Verification Keywords SHIM, concurrency, static analysis, deadlock, divide-and-conquer
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.7321; http://www.cs.columbia.edu/~sedwards/papers/shao2009compositional.pdf
-
9
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software/Program Verification, Model checking, F.3.1[Specifying and Verifying and Reasoning about Programs, Mechanical verification General Terms Algorithms, Reliability, Verification Keywords Abstraction, Bounded model checking, SAT proofs, Software Ver-ification, Underapproximation-Widening
File Description: application/postscript
-
10
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verifi- cation, F.3.1 [Logics and Meaning of Programs, Spec- ifying and Verifying and Reasoning about Programs General Terms Algorithms, Verification Keywords Verification, Satisfiability
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.6181; http://lara.epfl.ch/~kuncak/papers/BlancETAL13VerificationTranslationRecursiveFunctions.ps
-
11
Authors: et al.
Source: Veterinary Clinical Pathology. 2024 Special issue, p7-23. 17p.
PDF Full Text -
12
Authors: et al.
Contributors: et al.
Source: http://software.imdea.org/~pierreganty/mypubs/ge-popl11.pdf.
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification. General Terms, Verification, Languages, Algorithms, Reliability. Keywords, concurrent programming, safety, context-free languages
File Description: application/pdf
Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.389.9010
http://software.imdea.org/~pierreganty/mypubs/ge-popl11.pdf -
13
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software/Program Verification, Model Checking General Terms Algorithms, Verification Keywords Social Commitments, Fulfillment, Violation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.1931; http://users.encs.concordia.ca/~bentahar/Publications/AAMAS2011.pdf
-
14
Authors: et al.
Source: International Journal of Oral Implantology; 2025, Vol. 18 Issue 4, p295-306, 12p
-
15
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: State space exploration, Formal verification
File Description: application/postscript
-
16
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.4 [Software/Program Verification, Reliability General Terms Algorithms, Reliability, Security, Verification. Keywords Result-Checking, Global Computing, Divide &, Conquer Algorithms, Fork-Join Macro-dataflow Graph
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.9108; http://varrette.gforge.uni.lu/download/publis/pasco2007.pdf
-
17
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification—Assertion Checkers, Cor- rectness Proofs, F.3.1 [Logics and Meanings of Programs, Spec- ifying and Verifying and Reasoning about Programs—Invariants, Assertions, D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, D.4.6 [Operating Systems, Security and Protection—Verification General Terms Verification, Algorithms, Reliability Keywords Concurrency, Abstract Interpretation, Compositional Reasoning, Data Flow Graphs, Parameterized Programs, Thread Invariants
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.454.2594; http://www.cs.toronto.edu/~zkincaid/pub/popl12.pdf
-
18
Authors: et al.
Source: Journal of Intelligence; Jan2023, Vol. 11 Issue 1, p19, 33p
-
19
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification General Terms, Algorithms, Design, Reliability, Theory, Verification Additional Key Words and Phrases, Scientific workflows, temporal constraints, temporal verification, checkpoint selection ACM Reference Format
File Description: application/pdf
-
20
Authors:
Source: Dentistry Journal; Jul2025, Vol. 13 Issue 7, p312, 37p
Nájsť tento článok vo Web of Science 
Full Text Finder 
Full Text