Rajeev Institute of Technology - PDFSEARCH.IO - Document Search Engine

Rajeev Institute of Technology
Results: 16

#	Item
1	Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Model checkers Software engineering Theoretical computer science Formal methods C C++ Sizeof Model checking Promela Abstraction Computing Abstract interpretation
2	Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 FO Finite model theory Model theory Metaphilosophy Mathematical logic Mathematics Sigma-algebra Pattern language
3	Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:45:03 Model checkers Software engineering Computing Model checking Theoretical computer science SPIN model checker Stack Promela Exception handling Device driver synthesis and verification
4	Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:31:43 Software testing Software engineering Computing Quality Fault injection Software verification Reliability engineering Formal verification Flash memory Software quality Stress testing Exception handling
5	Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:29:11 Model checkers Theoretical computer science Formal methods Software engineering Logic in computer science Model checking Search algorithms Formal verification SPIN model checker Verification Swarm behaviour Promela
6	Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:31:15 Model checkers Promela Computing Model checking SPIN model checker Gerard J. Holzmann Modeling language Mars Exploration Rover Economic model Theoretical computer science Notation
7	Experience with Rule-Based Analysis of Spacecraft Logs? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA Add to Reading List Source URL: rjoshi.org Language: English - Date: 2015-01-06 12:33:50 Concurrency control Computing Computer programming Data management Lock N1 Monitor File locking APT
8	Comprehension of spacecraft telemetry using hierarchical specifications of behavior? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA Add to Reading List Source URL: rjoshi.org Language: English - Date: 2014-10-22 16:12:25 E1 Hepatitis C virus
9	ACKNOWLEDGEMENT Conducting an examination of this importance and magnitude involves the support and cooperation of many individuals and institutions. We are grateful to Prof. Surendra Prasad for showing confidence in us Add to Reading List Source URL: www.iitk.ac.in Language: English - Date: 2014-10-10 04:31:30 Education in India India Indian Institutes of Technology Engineering education in India Joint Entrance Examination Indian Institute of Technology Delhi Indian Institute of Technology Kharagpur Indian Institute of Technology Kanpur Indian Institute of Technology Bhubaneswar Indian Institute of Technology Madras Indian Institute of Technology Mandi Rajeev Kumar
10	Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann and Rajeev Joshi Laboratory for Reliable Software (LaRS) Jet Propulsion Laboratory, California Institute of Technology Pa Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:06