Suchergebnisse - Specifying and Verifying and Reasoning about Programs—Mechanical verification
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. :121-132
Schlagwörter: Program analysis General Terms Languages, Verification Keywords Operational Semantics, Operational Semantics, Static Analysis, Android, dalvik bytecode, static analysis, 02 engineering and technology, [INFO] Computer Science [cs], 16. Peace & justice, F32 [Logics and Meanings of Programs]: Semantics of Programming Languages-Operational semantics, F31 [Logics and Mean-ings of Programs]: Specifying and Verifying and Reasoning about Programs-Mechanical Verification, 0202 electrical engineering, electronic engineering, information engineering, Dalvik, Theory, 10. No inequality, Static Anal-ysis
Dateibeschreibung: application/pdf
-
2
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: General terms, Verification Additional Key Words and Phrases, Temporal logic, model checking, abstract interpretation, binary decision diagrams (BDDs
Dateibeschreibung: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.7830; http://www.cs.utah.edu/~mjones/reading/misc/actl.ps.gz
-
3
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Languages, Theory, Verification Keywords Membership Equational Logic, Term Rewriting, Termination
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.2475; http://www.dsic.upv.es/~slucas/papers/pepm04/pepm04.pdf
-
4
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs – mechanical verification. Keywords denotation, monads, polymorphism, theorem
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.7845; http://web.cecs.pdx.edu/~brianh/papers/icfp2012.pdf
-
5
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ACM Transactions on Programming Languages and Systems. 32:1-70
Schlagwörter: programmation, Semantics of programming languages, Java bytecode, static analysis, abstract interpretation, termination analysis, path-length, [MATH] Mathematics [math], 02 engineering and technology, [INFO] Computer Science [cs], Verification Additional Key Words and Phrases: Abstract interpretation, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Specifying and Verifying and Reasoning about Programs-Mechanical Verification, Semantics of Programming Languages-Denotational Semantics, 0202 electrical engineering, electronic engineering, information engineering, Theory, Program Analysis General Terms: Languages, logics and meanings of programs, Java
Dateibeschreibung: application/pdf
-
6
Autoren:
Weitere Verfasser:
Schlagwörter: of Programs, Specifying and Verifying and Reasoning about Programs- Mechanical verification, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages- Operational semantics, D.2.4 [Software Engineering, Software/Program Verification- Correctness proofs, D.3.4 [Programming Languages, Processors- Optimization General Terms Languages, Verification, Algorithms Keywords Translation validation, scheduling optimizations, verified compilers, the Coq
Dateibeschreibung: application/pdf
-
7
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the 14th International Workshop on Termination (WST) ; 14th International Workshop on Termination (WST) ; https://hal.univ-reunion.fr/hal-01451692 ; 14th International Workshop on Termination (WST), Jul 2014, Vienne, Austria. pp.65-69
Schlagwörter: 1998 ACM Subject Classification D24 Software/Program Verification (Formal methods), F31 Specifying and Verifying and Reasoning about Programs (Mechanical verification), F32 Se-mantics of Programming Languages (Program analysis) Keywords and phrases Non-Termination, Android, Dalvik, Constraint Logic Programming, [INFO]Computer Science [cs]
-
8
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ACM SIGPLAN 2014 workshop on Partial Evaluation and Program Manipulation, PEPM 2014 ; https://hal.univ-reunion.fr/hal-01451693 ; ACM SIGPLAN 2014 workshop on Partial Evaluation and Program Manipulation, PEPM 2014, Jan 2014, San Diego, United States. pp.121-132
Schlagwörter: Android, Operational Semantics, Static Analysis, F31 [Logics and Mean-ings of Programs]: Specifying and Verifying and Reasoning about Programs-Mechanical Verification, F32 [Logics and Meanings of Programs]: Semantics of Programming Languages-Operational semantics, Program analysis General Terms Languages, Theory, Verification Keywords Operational Semantics, Dalvik, Static Anal-ysis, [INFO]Computer Science [cs]
Geographisches Schlagwort: San Diego, United States
-
9
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Correctness proofs, Formal methods, F.3.1 [Logics and meanings of programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification, Specification techniques, Invariants Keywords Compiler verification, compiler bootstrapping, ML, machine code verification, read-eval-print loop
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.191; http://www.cl.cam.ac.uk/~so294/documents/popl14.pdf
-
10
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Programming by contract, Correctness proofs, F.3.1 [Logics and Meaning of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification Keywords extended stat, static verification, theorem provers, Java Modeling Language, JML4, ESC, ESC4
Dateibeschreibung: application/pdf
-
11
Autoren: et al.
Weitere Verfasser: et al.
Quelle: http://www.nicta.com.au/people/norrishm/attachments/bibliographies_and_papers/2007/popl2007.pdf.
Schlagwörter: ings of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification General Terms Language, Theory, Verification Keywords Separation Logic, Interactive Theorem Proving
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.461.5649; http://www.nicta.com.au/people/norrishm/attachments/bibliographies_and_papers/2007/popl2007.pdf
-
12
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ISSN: 0164-0925.
Schlagwörter: Java, termination analysis, Theory, Verification Additional Key Words and Phrases: Abstract interpretation, Java bytecode, Specifying and Verifying and Reasoning about Programs-Mechanical Verification, Semantics of Programming Languages-Denotational Semantics, Program Analysis General Terms: Languages, [INFO]Computer Science [cs], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
13
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors C.2.2 [Computer Systems Organization, Network Pro- tocols—Protocol verification, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical Verification, D.2.4 [Software, Software/Program Verification—Formal methods General Terms Security, Verification, Theory
Dateibeschreibung: application/pdf
-
14
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, C.3 [Special-purpose And Application-based Systems, Real–time and embedded systems, D.2.4 [Software Engineering, Software/Program Verification—Model checking, F.3.1 [Logics and Meanings of Programs, Mathematical Logic— Computational logic, F.4.1 [Mathematical Logic And Formal Languages, Specifying and Verifying and Reasoning about Programs —Mechanical verification, Specification techniques, G.3 [Probability And Statistics, Markov processes General Terms, Design, Theory, Verification Additional Key Words and Phrases, Probabilistic Timed Automata, Predicate Logics with Probabilities, Model Checking
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.4768; http://arxiv.org/pdf/cs/0411100v1.pdf
-
15
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Formal methods, Model checking, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification General Terms, Verification, Performance Additional Key Words and Phrases, Distributed systems, stochastic automata
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.9522; http://www.dirc.org.uk/publications/articles/papers/108.pdf
-
16
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Model checking, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification General Terms, Theory, Verification Additional Key Words and Phrases, Relative liveness properties, satisfaction within fairness, behavior abstraction, weakly continuation-closed
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.5597; http://arxiv.org/pdf/cs/0101017v1.pdf
-
17
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://hal.science/hal-00702306 ; 2012.
Schlagwörter: Concurrency, Message-Passing, Verification, D.2.4 [Software/Program Verification]: Formal methods, F.3.1 [Specifying and Verifying and Reasoning about Programs]: Mechanical verification, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
-
18
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://hal.science/hal-00639351 ; 2011.
Schlagwörter: Concurrency, Parallelism, Verification, D.2.4 [Software/Program Verification]: Formal methods, F.3.1 [Specifying and Verifying and Reasoning about Programs]: Mechanical verification, D.3.2 [Lan- guage Classifications]: Concurrent, distributed, and parallel languages, F.1.2 [Models of Computatio, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
-
19
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://hal.science/hal-00653085 ; 2011.
Schlagwörter: Concurrency, Message-Passing, Verification, D.2.4 [Software/Program Verification]: Formal methods, F.3.1 [Specifying and Verifying and Reasoning about Programs]: Mechanical verification, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
-
20
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Systems, D.1.2 [Programming Techniques, Automatic Programming, D.1.3 [Programming Techniques, Concurrent Programming, D.2.4 [Software Engineering, Program Verification, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—mechanical verification, I.2.2 [Artificial Intelligence, Automatic Programming—program
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.9854; http://www.cs.neu.edu/home/attie/papers/TOPLAS98.pdf
Nájsť tento článok vo Web of Science 
Full Text Finder