Model - PDFSEARCH.IO - Document Search Engine

Model
Results: 136453

#	Item
61	A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada) Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Pointer Graph
62	Kompaktflyer 06: Der Business Model Navigator 2/3 Add to Reading List Source URL: gemeinsam-digital.de Language: German - Date: 2017-08-07 05:23:19
63	Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Computing Software engineering Computer programming Methods of proof Logic in computer science Pointer Exec Counterexample Objective-C Model checking Abstract interpretation Operational semantics
64	New Challenges in Model Checking Gerard J. Holzmann, Rajeev Joshi, and Alex Groce NASA/JPL Laboratory for Reliable Software, Pasadena, CA 91109, USA {Gerard.Holzmann, Rajeev.Joshi,Alex.Groce}@jpl.nasa.gov Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:32:09 Formal methods Theoretical computer science Software engineering Computing Logic in computer science Software testing Model checking Formal verification Software verification Flash memory Verification Software quality
65	Model Checking Multiagent Systems MAS for Security Multiagent System-based Verification of Security and Privacy Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-11-05 09:29:18 Modeling and simulation Multi-agent systems Simulation Artificial intelligence Systems science Model checking Agent-based model Economic model Intelligent agent MAS
66	arXiv:1802.00921v1 [cs.SE] 3 FebA deep tree-based model for software defect prediction Hoa Khanh Dam Trang Pham Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-02-05 20:57:26
67	Characteristics of four illustrative model pathways Different mitigation strategies can achieve the net emissions reductions that would be required to follow a pathway that limits global warming to 1.5°C with no or limi Add to Reading List Source URL: www.ipcc.ch Language: English - Date: 2018-10-15 09:46:52 Climate change Climate change mitigation Climatology Physical geography Carbon dioxide Climate engineering Bio-energy with carbon capture and storage Biomass Climate change policy Low-carbon economy Global warming
68	Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Software engineering Computer programming Methods of proof Logic in computer science Pointer Exec Counterexample Objective-C Model checking Abstract interpretation Operational semantics
69	Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Software engineering Computer programming Methods of proof Logic in computer science Pointer Exec Counterexample Objective-C Model checking Abstract interpretation Operational semantics
70	Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse Add to Reading List Source URL: mebsout.github.io Language: French - Date: 2017-07-21 11:03:15

UPDATE