1![1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A. 1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A.](https://www.pdfsearch.io/img/3a24bb9a078d61259d4565f5b76a4094.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:26:03
|
---|
2![IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce](https://www.pdfsearch.io/img/da44ee26ae1e16c6b5630678ab6005af.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:27:55
|
---|
3![Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive](https://www.pdfsearch.io/img/579d82bea5f93ad180523ea554b736ce.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:26:03
|
---|
4![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 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](https://www.pdfsearch.io/img/80b6bd994dd59bc5332935542c3c4815.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:26:03
|
---|
5![Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov](https://www.pdfsearch.io/img/4689d7655a3ce86da17164bce49bdac8.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2018-01-10 13:23:58
|
---|
6![Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology](https://www.pdfsearch.io/img/fa1e968bae8a698264065168b9cda0a4.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:45:03
|
---|
7![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 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](https://www.pdfsearch.io/img/5b1e4bec2dbcd5fe5c09f378ab806751.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:31:43
|
---|
8![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 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](https://www.pdfsearch.io/img/4c4359ee1e7eee6249ea7a3fc80e5ec9.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:32:09
|
---|
9![Denali: A Goal-directed Superoptimizer Rajeev Joshi Greg Nelson ∗ Denali: A Goal-directed Superoptimizer Rajeev Joshi Greg Nelson ∗](https://www.pdfsearch.io/img/037069913d8c073f4e3c0786d9f63190.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:26:03
|
---|
10![Seuss: What the Doctor Ordered Lorenzo Alvisi Rajeev Joshi Calvin Lin Seuss: What the Doctor Ordered Lorenzo Alvisi Rajeev Joshi Calvin Lin](https://www.pdfsearch.io/img/3f7cfc6e40304e237e8091136e01f53c.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:26:03
|
---|