Search
Author Profiles
Browse Author Profiles
Submit
Library Home
Contact Us
login
login
Home
> Search Results: subjectheading:[Computer programs -- Verification]
Search:
any field
title
author
isbn
subject
call number
journal
year
keyword
Search Tips
::
Advanced Search
::
Browse Resources (beta)
Options
Sort by
relevance
latest first
title
author
year
ascending
descending
Display
10 results
25 results
50 results
100 results
Collections
Select collection
all collections
All DA
All Resources
Articles & Manuscripts
Authorities
Books
Books and Periodicals
Capstones & Projects
CDs
Celebration of Teaching and Le...
Cheryl Herrmann Collection
Communal Studies Collection
Communal Studies Finding Aids
Course Reserves
Datasets
Dissertations
Doctor of Nursing Practice (DN...
DVDs
Ebooks
Electronic Journals
Endeavor Symposium
Evansville African American Co...
Faculty Scholarship
Flood of 1937 Collection
Government E-Resources
Government Resources
Historic New Harmony Slide Col...
Holdings
Honors Student Symposium
Indiana English
Instructor Copies
Journals & Proceedings
Local Newspapers & Newspaper P...
Mater Dei High School Yearbook...
New Popular Reading
No 980
On-Campus Resources
Online Resources
Oral History Collection
Order API Import
Other Materials
Posters & Presentations
Print Periodicals
Regional History Finding Aids
Repository
Scholarly Open Access Reposito...
Senior Engineering Projects
Special & Regional History Col...
Special Collections Finding Ai...
Streaming Video
Theses
Theses, Capstones, Projects, &...
TIND DA QA
UASC Finding Aids Collection
Undergraduate Psychology Resea...
University Archives & Special ...
University Archives Collection
University Archives Finding Ai...
University of Southern Indiana
University Publications
USI Conferences & Events
USI Scholarly and Creative Wor...
USI Graduate Student Colloquiu...
Format
Select output format
BibTeX
Dublin Core
EndNote
EndNote (8-X)
HTML brief
MARCXML
MODS
NLM
RefWorks
TextMarc (embedded)
TextMarc (plain)
Fulltext Search
Off
Fulltext search toggle
On
Publication Type
Ebook (14)
Location
Online (14)
Date
2023 (1)
2022 (1)
2021 (1)
2019 (3)
2018 (1)
2017 (2)
2016 (2)
2015 (1)
2014 (2)
Show more
Fulltext Search
Off
Fulltext search toggle
On
Publication Type
Ebook (14)
Location
Online (14)
Date
2023 (1)
2022 (1)
2021 (1)
2019 (3)
2018 (1)
2017 (2)
2016 (2)
2015 (1)
2014 (2)
Show more
University of Southern Indiana
14
records found
1 - 10
Search took 0.16 seconds.
1.
Verification, model checking, and abstract interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, proc[...]
VMCAI (Conference) (24th : 2023 : Boston, Mass.)
;
Drăgoi, Cezara, editor.
;
Emmi, Mi[...]
Cham : Springer, 2023.
QA76.76.V47
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
2.
Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical System[...]
International Workshop on Formal Methods for Industrial Critical Systems (22nd :[...]
Cham, Switzerland : Springer, 2017.
QA76.9.F67 I58 2017eb
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
3.
Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical System[...]
International Workshop on Formal Methods for Industrial Critical Systems (21st :[...]
Cham : Springer, 2016.
QA76.9.F67 I58 2016eb
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
4.
Formal methods for industrial critical systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015, Pr[...]
International Workshop on Formal Methods for Industrial Critical Systems (20th :[...]
Cham : Springer, 2015.
QA76.9.F67 I58 2015eb
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
5.
Hardware and software [electronic resource] : verification and testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israe[...]
International Haifa Verification Conference (10th : 2014 : Haifa, Israel)
;
Yahav, [...]
Cham : Springer, 2014.
QA76.76.V47
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
6.
Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV [...]
VSTTE (Conference) (13th : 2021 : Online)
;
Bloem, Roderick P.
;
Dimitrova, Rayna.
;
Fan,[...]
Cham : Springer, 2022.
QA76.76.V47 V59 2021eb
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
7.
Formal methods for industrial critical systems : 26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings / Alb[...]
International Workshop on Formal Methods for Industrial Critical Systems (26th :[...]
Cham : Springer, [2021]
©2021
QA76.9.F67 I58 2021
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
8.
Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proc[...]
International Workshop on Formal Methods for Industrial Critical Systems (24th :[...]
Cham : Springer, [2019]
©2019
QA76.9.F67 I58 2019eb
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
9.
Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I / Isil Dilli[...]
CAV (Conference) (31st : 2019 : New York, N.Y.)
;
Dillig, Isil.
;
Tasiran, Serdar.
Cham, Switzerland : SpringerOpen, [2019]
QA76.758 .C38 2019
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
10.
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II / Isil Dill[...]
CAV (Conference) (31st : 2019 : New York, N.Y.)
;
Dillig, Isil, editor.
;
Tasiran, Ser[...]
Cham, Switzerland : SpringerOpen, [2019]
QA76.758 .C38 2019
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
University of Southern Indiana :
14
records found
1 - 10
Interested in being notified about new results for this query?
Set up a personal
email alert
or subscribe to the
RSS feed
.