Class information for:
Level 1: MODEL CHECKING//TEMPORAL LOGIC//PARTIAL ORDER REDUCTION

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
5920 1558 25.0 28%


Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes
The table includes all classes above and classes immediately below the current class.


Cluster id Level Cluster label #P
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
148 3       COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES 63683
237 2             COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//MODEL CHECKING 20142
5920 1                   MODEL CHECKING//TEMPORAL LOGIC//PARTIAL ORDER REDUCTION 1558

Terms with highest relevance score


rank Term termType Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 MODEL CHECKING authKW 644840 14% 15% 224
2 TEMPORAL LOGIC authKW 528130 9% 20% 135
3 PARTIAL ORDER REDUCTION authKW 202116 1% 54% 19
4 STATE EXPLOSION authKW 198408 1% 56% 18
5 COMP THEORY TECHNOL address 182899 1% 67% 14
6 LTL authKW 166763 1% 43% 20
7 BUCHI AUTOMATA authKW 166561 1% 50% 17
8 TEMPORAL LOGIC PROGRAMMING authKW 165994 1% 71% 12
9 MODAL MU CALCULUS authKW 147540 1% 47% 16
10 BOUNDED MODEL CHECKING authKW 133563 1% 31% 22

Web of Science journal categories


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with term
in class
1 Computer Science, Theory & Methods 87314 65% 0% 1008
2 Logic 28591 9% 1% 147
3 Computer Science, Software Engineering 20755 27% 0% 418
4 Computer Science, Hardware & Architecture 4414 10% 0% 151
5 Computer Science, Information Systems 3742 13% 0% 205
6 Computer Science, Artificial Intelligence 2644 11% 0% 175
7 Mathematics, Applied 680 9% 0% 148
8 COMPUTER APPLICATIONS & CYBERNETICS 178 0% 0% 5
9 Mathematics 33 4% 0% 57
10 Computer Science, Interdisciplinary Applications 30 2% 0% 29

Address terms


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 COMP THEORY TECHNOL 182899 1% 67% 14
2 VASY 122101 1% 69% 9
3 VASY PROJECT TEAM 39195 0% 100% 2
4 RELIABLE SOFTWARE 37681 0% 38% 5
5 ANGEW MATH INFORMAT 35273 0% 60% 3
6 DESIGN ANAL SYST GRP 26128 0% 67% 2
7 ICTT ISN 25193 0% 43% 3
8 SPECIFICAT VERIFICAT 21055 1% 11% 10
9 ABT LEHR LERNSYST 19597 0% 100% 1
10 ADV TECHNOL EUROPE 19597 0% 100% 1

Journals


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 FORMAL METHODS IN SYSTEM DESIGN 122326 4% 11% 56
2 LECTURE NOTES IN COMPUTER SCIENCE 80813 39% 1% 603
3 JOURNAL OF LOGIC AND COMPUTATION 26498 2% 4% 36
4 THEORETICAL COMPUTER SCIENCE 20823 7% 1% 107
5 LOGICAL METHODS IN COMPUTER SCIENCE 17815 2% 4% 24
6 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 17394 1% 5% 17
7 INFORMATION AND COMPUTATION 15562 3% 2% 41
8 SCIENCE OF COMPUTER PROGRAMMING 13996 2% 2% 34
9 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 12995 1% 7% 9
10 FORMAL ASPECTS OF COMPUTING 11424 1% 4% 15

Author Key Words


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class		 LCSH search Wikipedia search
1 MODEL CHECKING 644840 14% 15% 224 Search MODEL+CHECKING Search MODEL+CHECKING
2 TEMPORAL LOGIC 528130 9% 20% 135 Search TEMPORAL+LOGIC Search TEMPORAL+LOGIC
3 PARTIAL ORDER REDUCTION 202116 1% 54% 19 Search PARTIAL+ORDER+REDUCTION Search PARTIAL+ORDER+REDUCTION
4 STATE EXPLOSION 198408 1% 56% 18 Search STATE+EXPLOSION Search STATE+EXPLOSION
5 LTL 166763 1% 43% 20 Search LTL Search LTL
6 BUCHI AUTOMATA 166561 1% 50% 17 Search BUCHI+AUTOMATA Search BUCHI+AUTOMATA
7 TEMPORAL LOGIC PROGRAMMING 165994 1% 71% 12 Search TEMPORAL+LOGIC+PROGRAMMING Search TEMPORAL+LOGIC+PROGRAMMING
8 MODAL MU CALCULUS 147540 1% 47% 16 Search MODAL+MU+CALCULUS Search MODAL+MU+CALCULUS
9 BOUNDED MODEL CHECKING 133563 1% 31% 22 Search BOUNDED+MODEL+CHECKING Search BOUNDED+MODEL+CHECKING
10 MU CALCULUS 99615 1% 27% 19 Search MU+CALCULUS Search MU+CALCULUS

Core articles
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c:
(1) Number of references referring to publications in the class.
(2) Share of total number of active references referring to publications in the class.
(3) Age of the article. New articles get higher score than old articles.
(4) Citation rate, normalized to year.


Rank Reference # ref.
in cl.		 Shr. of ref. in
cl.		 Citations
1 WAHL, T , DONALDSON, A , (2010) REPLICATION AND ABSTRACTION: SYMMETRY IN AUTOMATED FORMAL VERIFICATION.SYMMETRY-BASEL. VOL. 2. ISSUE 2. P. 799 -847 35 80% 8
2 GARAVEL, H , LANG, F , MATEESCU, R , (2015) COMPOSITIONAL VERIFICATION OF ASYNCHRONOUS CONCURRENT SYSTEMS USING CADP.ACTA INFORMATICA. VOL. 52. ISSUE 4-5. P. 337 -392 29 71% 2
3 MILLER, A , DONALDSON, A , CALDER, M , (2006) SYMMETRY IN TEMPORAL LOGIC MODEL CHECKING.ACM COMPUTING SURVEYS. VOL. 38. ISSUE 3. P. - 36 68% 23
4 GAINTZARAIN, J , LUCIO, P , (2013) LOGICAL FOUNDATIONS FOR MORE EXPRESSIVE DECLARATIVE TEMPORAL LOGIC PROGRAMMING LANGUAGES.ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. VOL. 14. ISSUE 4. P. - 26 81% 0
5 BIERE, A , HELJANKO, K , JUNTTILA, T , LATVALA, T , SCHUPPAN, V , (2006) LINEAR ENCODINGS OF BOUNDED LTL MODEL CHECKING.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 2. ISSUE 5. P. - 27 79% 8
6 JENSEN, K , KRISTENSEN, LM , MAILUND, T , (2012) THE SWEEP-LINE STATE SPACE EXPLORATION METHOD.THEORETICAL COMPUTER SCIENCE. VOL. 429. ISSUE . P. 169-179 18 90% 5
7 KUPFERMAN, O , VARDI, MY , WOLPER, P , (2000) AN AUTOMATA-THEORETIC APPROACH TO BRANCHING-TIME MODEL CHECKING.JOURNAL OF THE ACM. VOL. 47. ISSUE 2. P. 312 -360 20 87% 186
8 JAGHOORI, MM , SIRJANI, M , MOUSAVI, MR , KHAMESPANAH, E , MOVAGHAR, A , (2010) SYMMETRY AND PARTIAL ORDER REDUCTION TECHNIQUES IN MODEL CHECKING REBECA.ACTA INFORMATICA. VOL. 47. ISSUE 1. P. 33 -66 17 85% 6
9 MOSZKOWSKI, B , (2007) USING TEMPORAL LOGIC TO ANALYSE TEMPORAL LOGIC: A HIERARCHICAL APPROACH BASED ON INTERVALS.JOURNAL OF LOGIC AND COMPUTATION. VOL. 17. ISSUE 2. P. 333 -409 19 83% 2
10 FRIEDMANN, O , LATTE, M , LANGE, M , (2013) SATISFIABILITY GAMES FOR BRANCHING-TIME LOGICS.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 9. ISSUE 4. P. - 14 93% 0

Classes with closest relation at Level 1


Rank Class id link
1 13313 PUSHDOWN SYSTEMS//PARITY GAMES//AUTOMATIC STRUCTURES
2 30550 RUNTIME VERIFICATION//RUNTIME MONITORING//EXECUTION BASED MODEL CHECKING
3 13930 ASSUME GUARANTEE REASONING//TEMPORAL LOGIC OF ACTIONS//COMPOSITIONAL REASONING
4 8670 TIMED AUTOMATA//TIME PETRI NETS//MODEL CHECKING
5 26144 GUARDED FRAGMENT//HYBRID LOGIC//DATA WORDS
6 16541 WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//NETS WITHIN NETS
7 6407 ABSTRACT INTERPRETATION//SEPARATION LOGIC//PREDICATE ABSTRACTION
8 14808 ORDERED BINARY DECISION DIAGRAMS//BINARY DECISION DIAGRAMS//BRANCHING PROGRAMS
9 18723 THEOREM PROVING//SYMBOLIC TRAJECTORY EVALUATION//MULTIWAY DECISION GRAPHS
10 2581 PROCESS ALGEBRA//PROGRAMMING GRP//EVENT STRUCTURES

Go to start page