2-1-1 - PDFSEARCH.IO - Document Search Engine

2-1-1
Results: 258872

#	Item
31	General Terms and Conditions of ITEMIS AG for Maintenance Services itemis AG Version 1.2.0, General Terms and Conditions of ITEMIS AG for Maintenance Services Add to Reading List Source URL: legal.itemis.com Language: English - Date: 2018-08-08 08:21:28 Itemis Application software
32	Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France, Add to Reading List Source URL: www.avacs.org Language: English - Date: 2015-10-05 02:55:26 Differential equations Mathematics Hybrid automaton Hybrid system Systems science X0 Center FO Systems theory
33	24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨ Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:35 Theoretical computer science Formal methods Logic in computer science Computing Software engineering Electronic engineering Software testing Formal verification Runtime verification Software verification Java Modeling Language Verification
34	The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-02 12:35:21 Logic Mathematical logic Mathematics Propositional calculus Logical truth Logic in computer science Syntax Automated theorem proving Resolution Frege system Boolean satisfiability problem First-order logic
35	Anonymous Attestation with Subverted TPMs ? Jan Camenisch1 , Manu Drijvers1,2 , and Anja Lehmann1 1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2017-06-28 10:54:34 Cryptography Computer security Trusted computing Cryptographic software Direct Anonymous Attestation Trusted Platform Module Digital signature Secure multi-party computation Universal composability Privacy
36	MeCBICTranslating Stochastic CLS into Maude Thomas Anung Basukia,b,1 Antonio Ceronea,2 Paolo Milazzob,3 a Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Theoretical computer science Stochastic processes Formal languages Logic in computer science Stochastic simulation Rewriting
37	General Terms and Conditions of ITEMIS AG for Maintenance Services itemis AG Version 1.2.0, General Terms and Conditions of ITEMIS AG for Maintenance Services Add to Reading List Source URL: legal.itemis.com Language: English - Date: 2018-08-08 08:21:27 Itemis Application software
38	Theorem Proving using Lazy Proof Expli ation Corma Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear h Center, HP Labs, Palo Alto, CA 2 Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Theoretical computer science Logic Formal methods Mathematical logic Model theory Interpretation Logic in computer science Propositional calculus Boolean satisfiability problem Automated theorem proving Propositional variable IP
39	Towards a Logic for Inferring Properties of Event Streams? Sean Kauffman1 , Rajeev Joshi2 , and Klaus Havelund2 1 2 Add to Reading List Source URL: rjoshi.org Language: English - Date: 2018-01-10 13:23:57 Formal methods Logic in computer science Temporal logic Runtime verification
40	Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1 , Peter Pepper2 , and Douglas R. Smith1 1 2 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:24:03 Computing Memory management Knowledge representation Mutator Garbage collection Garbage Connectivity Tree Tracing garbage collection