subjectheading:[Computer software -- Verification.] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Computer software -- Verification.]

Search:

Search Tips :: Advanced Search :: Browse Resources (beta)

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	Challenges of software verification / Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro, editors. Arceri, Vincenzo, editor.; Cortesi, Agostino, editor.; Ferrara, Pietro, editor.; Ollia[...] Singapore : Springer, 2023. QA76.76.V47 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Runtime verification : a hands-on approach in Java / Christian Colombo, Gordon J. Pace. Colombo, Christian.; Pace, Gordon J. Cham, Switzerland : Springer, 2022. QA76.76.V47 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Principles of model checking [electronic resource] / Christel Baier, Joost-Pieter Katoen. Baier, Christel.; Katoen, Joost-Pieter. Cambridge, Mass. : MIT Press, 2008. QA76.76.V47 B35 2008 \| View e-resource \| Available Online \| Detailed record - Similar records
4.	String analysis for software verification and security / Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin. Bultan, Tevfik, author.; Yu, Fang, author.; Alkhalaf, Muath, author.; Aydin, Abdulbaki[...] Cham, Switzerland : Springer, [2017] ©2017 QA76.76.V47 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Embedded software verification and debugging / Djones Lettnin, Markus Winterholer, editors. Lettnin, Djones, editor.; Winterholer, Markus, editor. New York, NY : Springer, 2017. QA76.76.V47 \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Provably correct systems / Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog, editors. Hinchey, Michael G. (Michael Gerard), 1969- editor.; Bowen, J. P. (Jonathan Peter)[...] Cham, Switzerland : Springer, 2017. QA76.76.V47 \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Formal verification of Simulink/Stateflow diagrams : a deductive approach / Naijun Zhan, Shuling Wang, Hengjun Zhao. Zhan, Naijun, author.; Wang, Shuling, author.; Zhao, Hengjun, author. Cham, Switzerland : Springer, [2016]. ©2017 QA76.76.V47 \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Transactions on foundations for mastering change. I / edited by Bernhard Steffen. Steffen, Bernhard, editor. Cham, Switzerland : Springer, 2016. QA76.76.D47 \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Correct software in web applications and web services [electronic resource] / Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchbe[...] Thalheim, B. (Bernhard), 1952- editor.; Schewe, Klaus-Dieter, editor.; Prinz, Andrea[...] Cham : Springer, 2015. QA76.76.V47 C67 2015eb \| View e-resource \| Available Online \| Detailed record - Similar records
10.	Principles of model checking / Christel Baier, Joost-Pieter Katoen. Baier, Christel.; Katoen, Joost-Pieter. Cambridge, Mass. : The MIT Press, [2008?] QA76.76.V47 B35 2008 \| Map It \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.