1![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
|
---|
2![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
|
---|
3![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
|
---|
4![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
|
---|
5![Tempas: Temporal Archive Search Based on Tags ∗ Helge Holzmann Tempas: Temporal Archive Search Based on Tags ∗ Helge Holzmann](https://www.pdfsearch.io/img/333dec446b1c9db1802b6643f686e529.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 00:28:44
|
---|
6![Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract](https://www.pdfsearch.io/img/5a1268cb89ed1bb4eb16b1f1b3bd9069.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:29:11
|
---|
7![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 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](https://www.pdfsearch.io/img/c8992c13edcdc967e8c38dd7801628c9.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:31:15
|
---|
8![Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA](https://www.pdfsearch.io/img/dca7c21a5f293b2e46bbc87169a23431.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:33:49
|
---|
9![Uni Graz TU Graz H. Gausterer, M. Gomez Rocha M. Holzmann, P. Schlosser, M. Weichselbaum Uni Graz TU Graz H. Gausterer, M. Gomez Rocha M. Holzmann, P. Schlosser, M. Weichselbaum](https://www.pdfsearch.io/img/2f89cc56db5aa6c4c445dab83293b193.jpg) | Add to Reading ListSource URL: www.applied.math.tugraz.atLanguage: German - Date: 2018-06-06 11:26:14
|
---|
10![Uni Graz TU Graz H. Gausterer, M. Gomez Rocha M. Holzmann, P. Schlosser, M. Weichselbaum Uni Graz TU Graz H. Gausterer, M. Gomez Rocha M. Holzmann, P. Schlosser, M. Weichselbaum](https://www.pdfsearch.io/img/5d2cbe6f8b22e8f960ae11b8fc5c093c.jpg) | Add to Reading ListSource URL: www.applied.math.tugraz.atLanguage: German - Date: 2018-05-17 10:25:51
|
---|