Class information for:
Level 1: ABSTRACT INTERPRETATION//PREDICATE ABSTRACTION//SATISFIABILITY MODULO THEORIES

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
7424 1289 29.5 29%


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 ABSTRACT INTERPRETATION Author keyword 25 22% 8% 102
2 PREDICATE ABSTRACTION Author keyword 16 46% 2% 26
3 SATISFIABILITY MODULO THEORIES Author keyword 13 43% 2% 23
4 SOFTWARE MODEL CHECKING Author keyword 12 38% 2% 25
5 DECISION PROCEDURES Author keyword 9 29% 2% 27
6 PROGRAM VERIFICATION Author keyword 7 15% 3% 43
7 SEPARATION LOGIC Author keyword 7 20% 2% 30
8 FORMAL METHODS IN SYSTEM DESIGN Journal 5 10% 4% 49
9 ABSTRACTION REFINEMENT Author keyword 5 30% 1% 14
10 CEGAR Author keyword 4 47% 1% 7

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 ABSTRACT INTERPRETATION 25 22% 8% 102 Search ABSTRACT+INTERPRETATION Search ABSTRACT+INTERPRETATION
2 PREDICATE ABSTRACTION 16 46% 2% 26 Search PREDICATE+ABSTRACTION Search PREDICATE+ABSTRACTION
3 SATISFIABILITY MODULO THEORIES 13 43% 2% 23 Search SATISFIABILITY+MODULO+THEORIES Search SATISFIABILITY+MODULO+THEORIES
4 SOFTWARE MODEL CHECKING 12 38% 2% 25 Search SOFTWARE+MODEL+CHECKING Search SOFTWARE+MODEL+CHECKING
5 DECISION PROCEDURES 9 29% 2% 27 Search DECISION+PROCEDURES Search DECISION+PROCEDURES
6 PROGRAM VERIFICATION 7 15% 3% 43 Search PROGRAM+VERIFICATION Search PROGRAM+VERIFICATION
7 SEPARATION LOGIC 7 20% 2% 30 Search SEPARATION+LOGIC Search SEPARATION+LOGIC
8 ABSTRACTION REFINEMENT 5 30% 1% 14 Search ABSTRACTION+REFINEMENT Search ABSTRACTION+REFINEMENT
9 CEGAR 4 47% 1% 7 Search CEGAR Search CEGAR
10 BOUNDED MODEL CHECKING BMC 4 67% 0% 4 Search BOUNDED+MODEL+CHECKING+BMC Search BOUNDED+MODEL+CHECKING+BMC

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 CONGRUENCE CLOSURE 16 61% 1% 17
2 DECISION PROCEDURES 11 34% 2% 27
3 COMBINING DECISION PROCEDURES 8 75% 0% 6
4 MODULO THEORIES 8 42% 1% 15
5 ANSI C 8 44% 1% 14
6 NELSON OPPEN 8 100% 0% 5
7 SATISFIABILITY PROCEDURES 7 53% 1% 10
8 C PROGRAMS 7 35% 1% 17
9 PREDICATE ABSTRACTION 7 29% 2% 21
10 REWRITING APPROACH 7 64% 1% 7

Journals


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 FORMAL METHODS IN SYSTEM DESIGN 5 10% 4% 49

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
Symbolic Execution for Software Testing: Three Decades Later 2013 18 1 100%
Software Model Checking 2009 25 74 49%
A survey of automated techniques for formal software verification 2008 31 35 66%
Boolean satisfiability from Theoretical hardness to Practical success 2009 18 5 20%
Recent advances in program verification through computer algebra 2010 9 10 20%
Automated Deduction for Verification 2009 1 58 41%

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 GRP HYBRID SYST 2 67% 0.2% 2
2 OFF 607 2 67% 0.2% 2
3 QSS 2 33% 0.3% 4
4 FORMAL PROPERTY VERIFICAT 1 100% 0.2% 2
5 INFORMAT 17 1 50% 0.2% 2
6 LIST MEASI 1 100% 0.2% 2
7 SOFTWARE EXCELLENCE 1 50% 0.2% 2
8 SOFTWARE RELIABIL GRP 1 100% 0.2% 2
9 DLSIIS 1 27% 0.3% 4
10 VERIMAG 1 14% 0.6% 8

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000205978 MICROCODE VERIFICATION//HARDWARE VERIFICATION//ACL2
2 0.0000177988 BYTECODE VERIFICATION//PREVENT INFORMATION LEAKAGE//SEPARATION LOGIC
3 0.0000175674 WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//VERIFICATION OF INFINITE STATE SYSTEMS
4 0.0000173796 PROGRAM SLICING//PARTIAL REDUNDANCY ELIMINATION//POINTS TO ANALYSIS
5 0.0000172314 MODAL MU CALCULUS//PARITY GAMES//TEMPORAL LOGIC
6 0.0000124596 STOP AND WAIT PROTOCOLS//SWEEP LINE METHOD//STATE EXPLOSION
7 0.0000118303 READ ONCE BRANCHING PROGRAMS//ORDERED BINARY DECISION DIAGRAMS//INFORMAT LS2
8 0.0000114961 LDCSEE//LCSEE//QUANTIFIED BOOLEAN FORMULA
9 0.0000095907 JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//MODEL ELIMINATION
10 0.0000092915 FORMAL ASPECTS OF COMPUTING//REFINEMENT CALCULUS//VERIFIED SOFTWARE REPOSITORY