Search Results - Software/Program Verification—Model Checking General Terms
-
1
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Model Checking, Assume-Guarantee
File Description: application/postscript
-
2
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: State space exploration, Formal verification
File Description: application/postscript
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Purpose and Application-Based Systems—Real-time and embedded systems, D.2.8 [Software Engineering, Met- rics—Performance measures, D.2.4 [Software Engineer- ing, Software/Program Verification—Model checking General Terms Algorithms, Measurement, Verification Keywords WCET, Model-Based Design, Synchronous Languages, Model Checking, Traceability
File Description: application/pdf
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Model checking General Terms Design, Verification Keywords Wireless sensor networks, Static verification
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.379.9985; http://www.sics.se/~luca/papers/mottola10anquiro.pdf
-
5
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Model checking General Terms Experimentation, Verification Keywords Service-Oriented Computing, Model checking
File Description: application/pdf
-
6
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—model checking General Terms, Verification, Experimentation
File Description: application/pdf
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— model checking General Terms Verification, Experimentation
File Description: application/pdf
-
8
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Model Checking General Terms, Verification Additional Key Words and Phrases, SPIN Model Checker, Abstraction Refinement
File Description: application/pdf
-
9
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, H.2.3 [Information Systems, Database Management---Query Languages, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic---Modal Logic, Temporal Logic, D.2.4 [Software, Software/Program Verification---Model Checking General Terms, Algorithms, Theory, Verication Additional Key Words and Phrases, databases, verication, temporal logics, guarded logics, complexity
File Description: application/postscript
-
10
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Engineering, Software/Program Verification- model checking. General Terms, Design, Theory, Verification. Keywords, Model Merging, Refinement, Model Checking, Inconsistency Detection, Negotiation, 3-Valued Logic. 1. RESEARCH QUESTION
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.4518; http://www.cs.toronto.edu/~shiva/research/pub/doctoral05.pdf
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Education – Computer science education, Curriculum. D 2.4 [Software engineering, Software/Program Verification – Model checking. General Terms, Reliability, Standardization, Verification. Keywords, Formal Methods, Education, Software Engineering, Teaching Methods, Formal engineering methods
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.395.4561; http://cis.k.hosei.ac.jp/~sliu/TeachingFormalMethods_Liu.pdf
-
12
Authors:
Resource Type: eBook.
Subjects: Computer science, Computer science—Mathematics, Logic programming, Computers, Special purpose, Software engineering, Microprogramming
Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, MATHEMATICS / Applied
-
13
Authors:
Resource Type: eBook.
Subjects: Computer science, Computer engineering, Computer networks, Logic programming, Artificial intelligence—Data processing, Software engineering
Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General
-
14
Authors:
Resource Type: eBook.
Subjects: Computer science, Software engineering, Computer networks
Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General
-
15
Authors:
Source: Journal of the ACM; Feb2012, Vol. 59 Issue 1, p1-1:52, 52p
-
16
Authors: et al.
Source: PLoS ONE; 4/8/2025, Vol. 20 Issue 4, p1-28, 28p
Subject Terms: LANGUAGE models, ARTIFICIAL intelligence, MACHINE learning, PLAGIARISM, COMPARATIVE studies
-
17
Authors: et al.
Source: Technologies (2227-7080); Dec2024, Vol. 12 Issue 12, p244, 28p
-
18
Authors: et al.
Source: ACM Computing Surveys; Feb2025, Vol. 57 Issue 2, p1-36, 36p
-
19
Authors:
Resource Type: eBook.
Subjects: Computer science, Software engineering, Computer networks, Machine theory, Compilers (Computer programs)
Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General
-
20
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General
Nájsť tento článok vo Web of Science 
Full Text Finder 
Full Text