Suchergebnisse - "Software/Program Verification—model checking General Terms"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
2
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Model checking General Terms Design, Verification Keywords Wireless sensor networks, Static verification
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.379.9985; http://www.sics.se/~luca/papers/mottola10anquiro.pdf
-
3
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Model checking General Terms Experimentation, Verification Keywords Service-Oriented Computing, Model checking
Dateibeschreibung: application/pdf
-
4
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—model checking General Terms, Verification, Experimentation
Dateibeschreibung: application/pdf
-
5
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— model checking General Terms Verification, Experimentation
Dateibeschreibung: application/pdf
-
6
Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives
Schlagwörter: 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
Dateibeschreibung: 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
-
7
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
8
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
-
9
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/postscript
Nájsť tento článok vo Web of Science