X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (1293) 1293
Conference Proceeding (537) 537
Book / eBook (435) 435
Book Chapter (202) 202
Dissertation (15) 15
Web Resource (15) 15
Government Document (11) 11
Magazine Article (9) 9
Publication (3) 3
Book Review (1) 1
Reference (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science (1253) 1253
mathematical logic and formal languages (794) 794
artificial intelligence (668) 668
symbolic and algebraic manipulation (629) 629
software engineering (430) 430
mathematical logic and foundations (427) 427
logics and meanings of programs (399) 399
algorithms (396) 396
logic, symbolic and mathematical (396) 396
mathematical logic (392) 392
computer science, artificial intelligence (340) 340
symbolic execution (335) 335
verification (281) 281
logic design (279) 279
symbolic model checking (275) 275
mathematics (271) 271
computer logic (269) 269
model checking (269) 269
logic (254) 254
computer science, theory & methods (245) 245
programming languages (237) 237
congresses (235) 235
programming languages, compilers, interpreters (227) 227
analysis (200) 200
kongress (199) 199
informatics (193) 193
computers (186) 186
computer science, software engineering (180) 180
computer software (180) 180
studies (166) 166
theory of computation (159) 159
symbolic and mathematical logic (157) 157
algorithm analysis and problem complexity (148) 148
software (144) 144
software engineering/programming and operating systems (142) 142
electronic brains (138) 138
mathematical models (138) 138
computer software engineering (136) 136
symbolic computation (136) 136
algebra (132) 132
computer programming (129) 129
symbolic logic (126) 126
algebra of logic (125) 125
formal verification (125) 125
logic, universal (125) 125
ai (121) 121
intelligence, artificial (121) 121
machine intelligence (121) 121
artificial thinking (120) 120
intellectronics (120) 120
intelligent machines (120) 120
thinking, artificial (120) 120
programming techniques (119) 119
mathematical analysis (118) 118
computation by abstract devices (114) 114
design of logic systems (114) 114
design, logic (114) 114
data processing (111) 111
multi-user (111) 111
engineering, electrical & electronic (109) 109
semantics (107) 107
discrete mathematics in computer science (103) 103
informatique (103) 103
electronic data processing (95) 95
formal methods (95) 95
automated reasoning (94) 94
philosophy (91) 91
computer programs (84) 84
computer simulation (82) 82
information theory (80) 80
engineering (78) 78
computer science, hardware & architecture (77) 77
engineering & applied sciences (76) 76
[ info.info-sc ] computer science [cs]/symbolic computation [cs.sc] (74) 74
computational complexity (72) 72
mathematics, applied (72) 72
research (72) 72
data structures (69) 69
testing (68) 68
program verification (67) 67
inteligencia artificial (66) 66
systems (65) 65
logic in computer science (64) 64
temporal logic (63) 63
automata (62) 62
formale methode (62) 62
theorem proving (62) 62
computation (61) 61
methods (60) 60
computer communication networks (58) 58
usage (57) 57
programming (56) 56
binary decision diagrams (55) 55
computer science, information systems (55) 55
computer-aided engineering and design (54) 54
computer hardware (53) 53
computer science logic (53) 53
computer science, general (52) 52
specifications (52) 52
software, computer (51) 51
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Online Resources - Online (16) 16
Engineering & Comp. Sci. - Stacks (12) 12
Gerstein Science - Stacks (11) 11
Mathematical Sciences - Stacks (11) 11
UTL at Downsview - May be requested (6) 6
Collection Dvlpm't (Acquisitions) - Vendor file (5) 5
UofT at Scarborough - Stacks (5) 5
Robarts - Stacks (4) 4
Collection Dvlpm't (Acquisitions) - Closed Orders (3) 3
UofT at Mississauga - Stacks (3) 3
Physics - Stacks (2) 2
Engineering & Comp. Sci. - May be requested in 6-10 wks (1) 1
Mathematical Sciences - Processing (1) 1
OISE - Theses (1) 1
Physics - Circulation Desk (1) 1
Trinity College (John W Graham) - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (2505) 2505
Japanese (17) 17
Spanish (12) 12
Chinese (4) 4
French (4) 4
German (4) 4
Czech (1) 1
Korean (1) 1
Lithuanian (1) 1
Russian (1) 1
Swedish (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Informatica (Slovenia), ISSN 0350-5596, 2018, Volume 42, Issue 2, pp. 145 - 166
Journal Article
Journal of Automated Reasoning, ISSN 0168-7433, 12/2019, Volume 63, Issue 4, pp. 857 - 885
While model checking has often been considered as a practical alternative to building formal proofs, we argue here that the theory of sequent calculus proofs can be used to provide an appealing... 
Linear logic | Artificial Intelligence | Computer Science | Model checking | Fixed points | Proof theory | Focused proof systems | Symbolic and Algebraic Manipulation | Mathematical Logic and Foundations | Mathematical Logic and Formal Languages | LOGIC | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | CUT-ELIMINATION | Inference | Deduction | Logic programming | Logic in Computer Science
Journal Article
Journal of logic and computation, ISSN 0955-792X, 03/2018, Volume 28, Issue 2, pp. 367 - 402
.... For this purpose, we want to hook up with the best available model checking and SAT techniques in computational logic... 
Symbolic model checking | Russian Cards | Dynamic Epistemic Logic | Muddy Children | Binary decision diagrams | Knowledge representation | binary decision diagrams | knowledge representation | KNOWLEDGE | COMPUTER SCIENCE, THEORY & METHODS | LOGIC
Journal Article
Computer Science Review, ISSN 1574-0137, 2011, Volume 5, Issue 2, pp. 163 - 203
Journal Article
eBook
Artificial Intelligence, ISSN 0004-3702, 2003, Volume 147, Issue 1, pp. 35 - 84
Planning in nondeterministic domains yields both conceptual and practical difficulties. From the conceptual point of view, different notions of planning... 
Conditional planning | Symbolic model-checking | Planning in nondeterministic domains | Binary decision diagrams | binary decision diagrams | planning in nondeterministic domains | conditional planning | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | symbolic model-checking
Journal Article
Procedia Computer Science, ISSN 1877-0509, 2017, Volume 112, pp. 31 - 40
In this study, logics and translations for hierarchical model checking are developed based on linear-time temporal logic (LTL... 
Computation tree logic | Hierarchical model checking | Sequence modal operator | Linear-time temporal logic
Journal Article
Journal Article
Science of Computer Programming, ISSN 0167-6423, 06/2018, Volume 158, pp. 41 - 63
We have implemented various symbolic model checking algorithms, such as BMC, k-Induction and IC3 for B, Event-B and other modeling languages... 
Symbolic model checking | Proof | Event-B | Software model | B-method | COMPUTER SCIENCE, SOFTWARE ENGINEERING | SMT SOLVERS | TLA(+) | Algorithms
Journal Article
Expert Systems With Applications, ISSN 0957-4174, 02/2013, Volume 40, Issue 2, pp. 508 - 522
.... ► Defining soundness and completeness of compositions as model checking problem. ► Translating the design model of service composition into a verifiable formal model... 
Symbolic model checking | Composite Web service | Soundness | Behavior | NuSMV | Completeness | DESIGN | OPERATIONS RESEARCH & MANAGEMENT SCIENCE | ASSURANCE | FRAMEWORK | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | ENGINEERING, ELECTRICAL & ELECTRONIC | Analysis | Models | Web services
Journal Article
International Journal on Software Tools for Technology Transfer, ISSN 1433-2779, 8/2004, Volume 6, Issue 2, pp. 128 - 142
Journal Article
Science China Information Sciences, ISSN 1674-733X, 5/2018, Volume 61, Issue 5, pp. 1 - 23
...-Verlag GmbH Germany 2017 info.scichina.com link.springer.com . RESEARCH PAPER . Symbolic model checking for discrete real-time systems Xiangyu LUO 1,2 , Lijun WU 3... 
temporal tester | Computer Science | OBDDs | Information Systems and Communication Service | just discrete system | real-time temporal logic | symbolic model checking | COMPLEXITY | COMPUTER SCIENCE, INFORMATION SYSTEMS | LOGICS | ENGINEERING, ELECTRICAL & ELECTRONIC
Journal Article