X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (43334) 43334
Conference Proceeding (17424) 17424
Newspaper Article (3175) 3175
Government Document (2631) 2631
Book Chapter (1843) 1843
Dissertation (1722) 1722
Book / eBook (1592) 1592
Paper (973) 973
Magazine Article (866) 866
Web Resource (532) 532
Report (396) 396
Newsletter (257) 257
Publication (146) 146
Standard (92) 92
Reference (65) 65
Trade Publication Article (59) 59
Journal / eJournal (17) 17
Book Review (14) 14
Data Set (12) 12
Transcript (6) 6
Library Holding (1) 1
Streaming Video (1) 1
Video Recording (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
verification (34202) 34202
formal verification (5460) 5460
computer science (5314) 5314
analysis (5041) 5041
algorithms (5013) 5013
arms control (4408) 4408
humans (4166) 4166
engineering, electrical & electronic (4113) 4113
program verification (4069) 4069
computer science, software engineering (3752) 3752
mathematical models (3493) 3493
software (3370) 3370
computer science, theory & methods (3012) 3012
radiology, nuclear medicine & medical imaging (2898) 2898
software engineering (2864) 2864
computer simulation (2798) 2798
simulation (2583) 2583
model checking (2523) 2523
validation (2443) 2443
computer science, information systems (2211) 2211
testing (2107) 2107
security (2024) 2024
design (2019) 2019
radiotherapy (1999) 1999
meteorology & atmospheric sciences (1855) 1855
research (1820) 1820
computer science, artificial intelligence (1816) 1816
computer programs (1812) 1812
studies (1809) 1809
methods (1681) 1681
accuracy (1680) 1680
computer science, hardware & architecture (1581) 1581
reliability (1571) 1571
hardware (1540) 1540
audits (1537) 1537
usage (1520) 1520
logic (1516) 1516
system (1491) 1491
mathematical analysis (1439) 1439
dosimetry (1437) 1437
optimization (1423) 1423
inspection (1410) 1410
engineering (1387) 1387
speaker verification (1387) 1387
calibration (1384) 1384
semantics (1357) 1357
feature extraction (1305) 1305
radiotherapy dosage (1299) 1299
biometrics (1283) 1283
male (1256) 1256
artificial intelligence (1254) 1254
automation (1252) 1252
nuclear arms control (1251) 1251
monitoring (1211) 1211
formal methods (1209) 1209
safety (1198) 1198
telecommunications (1190) 1190
computational modeling (1179) 1179
authentication (1152) 1152
radiation therapy (1151) 1151
experimental-verification (1126) 1126
information systems (1118) 1118
protocols (1118) 1118
computer science, interdisciplinary applications (1117) 1117
systems (1100) 1100
design engineering (1086) 1086
oncology (1050) 1050
female (1034) 1034
automata (1027) 1027
experimental verification (1024) 1024
private sector (1010) 1010
identification (1000) 1000
reproducibility of results (985) 985
radiotherapy planning, computer-assisted - methods (982) 982
phantoms, imaging (974) 974
computer software (967) 967
electricity (963) 963
material (959) 959
queries (954) 954
manufacturing (950) 950
quality assurance (945) 945
telephone (942) 942
procurement (941) 941
transaction (940) 940
results (939) 939
businesses (925) 925
quality control (925) 925
installation (906) 906
specifications (899) 899
theory (892) 892
business environment (889) 889
petri nets (889) 889
management (884) 884
domain (882) 882
weather forecasting (880) 880
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Online Resources - Online (516) 516
Robarts - Stacks (298) 298
UTL at Downsview - May be requested (164) 164
Engineering & Comp. Sci. - Stacks (148) 148
Gerstein Science - Stacks (125) 125
UofT at Mississauga - Stacks (98) 98
Robarts - Government Pubs (59) 59
Collection Dvlpm't (Acquisitions) - Vendor file (58) 58
UofT at Scarborough - Stacks (47) 47
Collection Dvlpm't (Acquisitions) - Closed Orders (36) 36
Trinity College (John W Graham) - Stacks (36) 36
Law (Bora Laskin) - Stacks (25) 25
Aerospace - Stacks (12) 12
Victoria University E.J. Pratt - Stacks (12) 12
Business (Joseph L Rotman) - Stacks (10) 10
OISE - Stacks (9) 9
St. Michael's College (John M. Kelly) - 2nd Floor (9) 9
Thomas Fisher Rare Book - Rare Book (9) 9
Engineering & Comp. Sci. - May be requested in 6-10 wks (8) 8
St. Michael's College (John M. Kelly) - 3rd Floor (8) 8
Mathematical Sciences - Stacks (7) 7
Trinity College (John W Graham) - Storage (5) 5
Robarts - Gov Pub Storage: Request at Reference Desk 4th floor (4) 4
University College (Laidlaw) - Stacks (4) 4
UofT at Scarborough - Withdrawn (4) 4
Business (Joseph L Rotman) - May be requested in 6-10 wks (3) 3
UofT Schools - Stacks (3) 3
Business (Joseph L Rotman) - Library use only (2) 2
Gerstein Science - Circulation Desk (2) 2
Knox College (Caven) - Stacks (2) 2
Robarts - Course Reserves (2) 2
Thomas Fisher Rare Book - May be requested at Fisher (2) 2
University Archives - Archives (2) 2
UofT at Mississauga - Reference (2) 2
Astronomy & Astrophysics - Ask at library (1) 1
Business (Joseph L Rotman) - Circulation Desk (1) 1
Collection Dvlpm't (Acquisitions) - Cancelled Order (1) 1
Collection Dvlpm't (Acquisitions) - Shipping from publisher (1) 1
Earth Sciences (Noranda) - Stacks (1) 1
Engineering & Comp. Sci. - Periodical Stacks (1) 1
Engineering & Comp. Sci. - Reference (1) 1
Holland Bloorview Kids Rehabilitation - Stacks (1) 1
Institute for Christian Studies - Stacks (1) 1
Map & Data - Data & GIS (1) 1
Media Commons - Audio Visual (1) 1
Media Commons - Microtexts (1) 1
New College (Ivey) - Stacks (1) 1
OISE - Curriculum Resources (1) 1
OISE - Internal dept (1) 1
OISE - May be requested in 6-10 wks (1) 1
Robarts - Library use only (1) 1
Robarts - May be requested in 6-10 wks (1) 1
Robarts - Storage (1) 1
Scarborough Hospital - General (1) 1
St. Augustine's Seminary - Stacks (1) 1
UofT at Mississauga - Not returned (1) 1
UofT at Mississauga - On order (1) 1
UofT at Mississauga - Periodical Stacks (1) 1
Victoria University E.J. Pratt - Northrop Frye (1) 1
Victoria University E.J. Pratt - Reference (1) 1
Victoria University E.J. Pratt - Storage (1) 1
Victoria University Emmanuel College - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (71786) 71786
Japanese (1426) 1426
Chinese (760) 760
French (752) 752
German (331) 331
Korean (299) 299
Spanish (172) 172
Portuguese (140) 140
Czech (133) 133
Russian (131) 131
Polish (104) 104
Swedish (24) 24
Turkish (22) 22
Arabic (15) 15
Croatian (15) 15
Indonesian (13) 13
Italian (12) 12
Slovak (10) 10
Lithuanian (9) 9
Romanian (7) 7
Slovenian (6) 6
Estonian (4) 4
Afrikaans (3) 3
Dutch (3) 3
Hungarian (3) 3
Norwegian (3) 3
Serbian (3) 3
Finnish (2) 2
Latin (2) 2
Ukrainian (2) 2
Belarusian (1) 1
Bosnian (1) 1
Breton (1) 1
Bulgarian (1) 1
Chamorro (1) 1
Malay (1) 1
Mongolian (1) 1
Panjabi (1) 1
Persian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2010, ISBN 9780521113601, xiv, 767 p., [8] p. of plates
Advances in scientific computing have made modelling and simulation an important part of the decision-making process in engineering, science, and public... 
Validation | Decision making | Science | Numerical calculations | Data processing | Verification | Mathematical models | Computer programs
Book
Software testing, verification & reliability, ISSN 0960-0833, 1992
Journal
2011, ISBN 0691147817, xii, 138
This textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of... 
Numerical calculations | Science | Data processing | Verification | MATHEMATICS | Applied | COMPUTERS | Computer Science | Numerical calculations-Verification | Science-Data processing | Mathematics | Naturvetenskap | Natural Sciences | Beräkningsmatematik | Computational Mathematics | Matematik
Book
Formal methods in system design, ISSN 0925-9856, 1992
Journal
2017, ISBN 0804797439, xii, 386 pages
Given recent controversies over suspected WMD programs in proliferating countries, there is an increasingly urgent need for effective monitoring and... 
Nuclear arms control | Verification | On-site inspection | Chemical arms control | Biological arms control | Weapons of mass destruction | Disarmament
Book
2007, ISBN 0521875463, Volume 9780521875462, xvi, 284
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies... 
Validation | Expert systems (Computer science) | System design | Verification | Mathematical models | System design - Mathematical models
Book
Microprocessors and microsystems, ISSN 0141-9331, 11/2019, Volume 71, p. 102867
Journal Article
ACM Transactions on Design Automation of Electronic Systems (TODAES), ISSN 1084-4309, 09/2008, Volume 13, Issue 4, pp. 1 - 31
Formal specifications of interface protocols between a design-under-test and its environment mostly consist of two types of correctness requirements, namely... 
Verification
Journal Article
ACM Transactions on Software Engineering and Methodology (TOSEM), ISSN 1049-331X, 09/2011, Volume 20, Issue 4, pp. 1 - 64
This article studies runtime verification of properties expressed either in lineartime temporal logic (LTL) or timed lineartime temporal logic (TLTL). It... 
runtime verification | Assertion checkers | monitors | Monitors | Runtime verification | COMPUTER SCIENCE, SOFTWARE ENGINEERING | MODEL-CHECKING | AUTOMATA | SAFETY | TEMPORAL LOGIC | SYSTEMS | Verification | Methodology | Semantics | Classification | Running | Program verification (computers) | Temporal logic | Software engineering
Journal Article
ACM Transactions on Computer Systems (TOCS), ISSN 0734-2071, 02/2014, Volume 32, Issue 1, pp. 1 - 70
We present an in-depth coverage of the comprehensive machine-checked formal verification of seL4, a general-purpose operating system microkernel. We discuss... 
operating systems | Isabelle/HOL | microkernel | seL4 | Microkernel | Operating systems | SeL4 | AUTOMATED VERIFICATION | Verification | COMPUTER SCIENCE, THEORY & METHODS | SPECIFICATION | Security | Reliability | PERVASIVE VERIFICATION | NONINTERFERENCE | Kernels | Usage | Methods | Software engineering | Microkernels
Journal Article
2011, 1st ed., ISBN 0805093508, 340
Book
Journal of accounting auditing & finance, ISSN 0148-558X
Journal
Nature, ISSN 0028-0836, 11/2003, Volume 426, Issue 6965, pp. 404 - 404
The positive refractive index of conventional optical lenses means that they need curved surfaces to form an image, whereas a negative index of refraction... 
MULTIDISCIPLINARY SCIENCES | INDEX | VERIFICATION
Journal Article
2008, 1. Aufl., Wiley series on parallel and distributed computing, ISBN 9780471704492, xv, 231
A Step-by-Step Guide to Verification of Digital SystemsThis practical book provides a step-by-step, interactive introduction to formal verification of systems... 
Integrated circuits | Verification | Computer software | Petri nets | LOTOS (Computer program language) | Computers | Computer Engineering
Book
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.