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
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
-
9
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
-
10
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
-
11
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
-
12
Authors: et al.
Source: ACM Computing Surveys; Jan2018, Vol. 50 Issue 1, p1-35, 35p, 7 Diagrams, 2 Charts, 5 Graphs
Subject Terms: DATA flow computing, DATA mining, COMPUTER security, FAULT-tolerant computing, INTERNET security
-
13
Authors: et al.
Source: Cordy, M, Schobbens, P, Heymans, P & Legay, A 2012, Towards an incremental automata-based approach for software product-line model checking. in ACM International Conference Proceeding Series. vol. 2, pp. 74-81. https://doi.org/10.1145/2364412.2364425
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
File Description: application/pdf
Access URL: https://researchportal.unamur.be/en/publications/fcf37ba5-5259-4c9e-a483-06775d8b3f4a
https://doi.org/10.1145/2364412.2364425
https://pure.unamur.be/ws/files/3435216/fmsple.pdf
https://researchportal.unamur.be/fr/publications/towards-an-incremental-automata-based-approach-for-software -produ
https://dl.acm.org/doi/10.1145/2364412.2364425
https://dblp.uni-trier.de/db/conf/splc/splc2012-2.html#CordySHL12a
https://dialnet.unirioja.es/servlet/articulo?codigo=4839850
https://pure.unamur.be/ws/files/3435216/fmsple.pdf -
14
Authors: et al.
Source: DAC: Annual ACM/IEEE Design Automation Conference; Jun2012, p327-333, 7p, 7 Diagrams, 1 Chart, 1 Graph
Subject Terms: SOFTWARE verification, SYSTEMS design, COMPUTER simulation, SCALABILITY, COMPUTER networks, SEMANTIC computing
-
15
Authors: et al.
Source: DAC Design Automation Conference 2012; 1/ 1/2012, p327-333, 7p
-
16
Authors: Cordeiro, Lucas
Source: ICSE: International Conference on Software Engineering; 2010, p373-376, 4p, 2 Diagrams
Subject Terms: EMBEDDED computer systems, COMPUTER software development, ALGORITHMS, COMPUTER programming, ELECTRONIC systems
-
17
Authors:
Source: ACM Transactions on Embedded Computing Systems; Aug2012, Vol. 11, p1-23, 23p
-
18
Authors:
Source: ACM Transactions on Embedded Computing Systems; Jul2012, Vol. 11 Issue 2, p38-38:25, 25p
-
19
Authors:
Source: HRI: ACM SIGCHI/SIGART Human-Robot Interaction; Mar2009, p267-268, 2p, 1 Diagram
-
20
Authors:
Contributors:
Subject Terms: General Terms Experimentation, Verification. Keywords Agents, coordination, negotiation, scheduling
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.2079; http://www.nist.gov/msidlibrary/doc/debug.pdf
Nájsť tento článok vo Web of Science 
Full Text Finder