Class information for:
Level 1: MICROCODE VERIFICATION//HARDWARE VERIFICATION//ACL2

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
21881 345 24.3 22%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 2)


ID, lev.
above		 Publications Label for level above
216 20103 FORMAL METHODS IN SYSTEM DESIGN//MODEL CHECKING//LECTURE NOTES IN COMPUTER SCIENCE

Terms with highest relevance score


Rank Term Type of term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 MICROCODE VERIFICATION Author keyword 2 67% 1% 2
2 HARDWARE VERIFICATION Author keyword 2 18% 3% 10
3 ACL2 Author keyword 2 27% 2% 6
4 HIGHER ORDER LOGIC Author keyword 2 12% 4% 13
5 HOL THEOREM PROVER Author keyword 2 43% 1% 3
6 BEIJING ELECT SYST RELIABIL TECHNOL Address 1 100% 1% 2
7 FORMAL PROOF OF NUMERICAL PROGRAM Author keyword 1 100% 1% 2
8 JOHN VON NEUMANN MINERVA VERIFICAT REACT SYST Address 1 50% 1% 2
9 MODEL LEARNER PATTERN Author keyword 1 100% 1% 2
10 NON LINEAR ARITHMETIC Author keyword 1 50% 1% 2

Web of Science journal categories

Author Key Words


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class		 LCSH search Wikipedia search
1 MICROCODE VERIFICATION 2 67% 1% 2 Search MICROCODE+VERIFICATION Search MICROCODE+VERIFICATION
2 HARDWARE VERIFICATION 2 18% 3% 10 Search HARDWARE+VERIFICATION Search HARDWARE+VERIFICATION
3 ACL2 2 27% 2% 6 Search ACL2 Search ACL2
4 HIGHER ORDER LOGIC 2 12% 4% 13 Search HIGHER+ORDER+LOGIC Search HIGHER+ORDER+LOGIC
5 HOL THEOREM PROVER 2 43% 1% 3 Search HOL+THEOREM+PROVER Search HOL+THEOREM+PROVER
6 FORMAL PROOF OF NUMERICAL PROGRAM 1 100% 1% 2 Search FORMAL+PROOF+OF+NUMERICAL+PROGRAM Search FORMAL+PROOF+OF+NUMERICAL+PROGRAM
7 MODEL LEARNER PATTERN 1 100% 1% 2 Search MODEL+LEARNER+PATTERN Search MODEL+LEARNER+PATTERN
8 NON LINEAR ARITHMETIC 1 50% 1% 2 Search NON+LINEAR+ARITHMETIC Search NON+LINEAR+ARITHMETIC
9 PIPELINED MACHINE VERIFICATION 1 100% 1% 2 Search PIPELINED+MACHINE+VERIFICATION Search PIPELINED+MACHINE+VERIFICATION
10 PIPELINED MACHINES 1 100% 1% 2 Search PIPELINED+MACHINES Search PIPELINED+MACHINES

Key Words Plus


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 MECHANICALLY CHECKED PROOF 6 71% 1% 5
2 FORMAL VERIFICATION 2 10% 5% 16
3 HOL 2 19% 2% 8
4 FLOATING POINT PROGRAMS 1 100% 1% 2
5 GAPPA 1 100% 1% 2
6 TOMASULOS ALGORITHM 1 100% 1% 2
7 HEREDITARILY FINITE SETS 1 50% 0% 1
8 LOGICAL ENVIRONMENT 1 50% 0% 1
9 OF ORDER MICROPROCESSORS 1 50% 0% 1
10 SPECULATIVE EXECUTION 1 50% 0% 1

Journals

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
Tactics for mechanized reasoning: a commentary on Milner (1984) 'The use of machines to assist in rigorous proof' 2015 0 4 75%
Electronic Symptom Reporting Between Patient and Provider for Improved Health Care Service Quality: A Systematic Review of Randomized Controlled Trials. Part 2: Methodological Quality and Effects 2012 5 62 2%
EUROPEAN SCHOOL OF ONCOLOGY TASK-FORCE REPORT - NEW APPROACHES IN CANCER PHARMACOLOGY - DRUG DESIGN AND DEVELOPMENT .2. 1994 2 91 1%

Address terms


Rank Address term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ.
in class
1 BEIJING ELECT SYST RELIABIL TECHNOL 1 100% 0.6% 2
2 JOHN VON NEUMANN MINERVA VERIFICAT REACT SYST 1 50% 0.6% 2
3 CERCS 1 25% 0.9% 3
4 ASSESSMENT TECHNOL BRANCH 1 50% 0.3% 1
5 ASUTIN 1 50% 0.3% 1
6 CARAMEL PROJECT TEAM 1 50% 0.3% 1
7 ECOLE POLYTECH LIX 1 50% 0.3% 1
8 GEN PURPOSE COMP 1 50% 0.3% 1
9 HARDWARE VERIFICAT GRP 1 50% 0.3% 1
10 INRIA SACLAY FRANCE 1 50% 0.3% 1

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000215424 READ ONCE BRANCHING PROGRAMS//ORDERED BINARY DECISION DIAGRAMS//INFORMAT LS2
2 0.0000205978 ABSTRACT INTERPRETATION//PREDICATE ABSTRACTION//SATISFIABILITY MODULO THEORIES
3 0.0000177603 JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//MODEL ELIMINATION
4 0.0000149197 MODULA 2//OSF MOTIF//VDM SL
5 0.0000137508 STOP AND WAIT PROTOCOLS//SWEEP LINE METHOD//STATE EXPLOSION
6 0.0000131211 TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING
7 0.0000127668 BYTECODE VERIFICATION//PREVENT INFORMATION LEAKAGE//SEPARATION LOGIC
8 0.0000118958 ADDER CIRCUITS//CIRCUIT DESIGN FAULT TOLERANCE//UNDEFINEDNESS
9 0.0000115390 IVV IL//ROBUST DATA STRUCTURES//ADA LANGUAGE AND TOOLS
10 0.0000113700 FORMAL ASPECTS OF COMPUTING//REFINEMENT CALCULUS//VERIFIED SOFTWARE REPOSITORY