Search Results - "Java"
Suggested Topics within your search.
Suggested Topics within your search.
- Asian history 42
- Computer Science 15
- Computer science 11
- Software Engineering 11
- Programming Languages 10
- Humanities 8
- Islam 7
- Software engineering 7
- Java (Indonesia) -- Description and travel 6
- Religion & beliefs 6
- Theory of Computation 5
- Colonialism & imperialism 4
- Computer networks 4
- Computers 4
- Military history 4
- Social & cultural anthropology, ethnography 4
- Society & social sciences 4
- Anthropology 3
- Artificial intelligence 3
- Computer Engineering and Networks 3
- Computer Modelling 3
- Computer engineering 3
- Computer simulation 3
- Computing & information technology 3
- Electronic digital computers 3
- Evaluation 3
- General & world history 3
- Mathematics 3
- System Performance and Evaluation 3
- Artificial Intelligence 2
-
721
-
722
-
723
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
Published 2019Table of Contents: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
Link to Metadata
Electronic eBook -
724
-
725
-
726
-
727
-
728
-
729
-
730
-
731
-
732
-
733
-
734
-
735
-
736
-
737
-
738
-
739
-
740