Scimago Q2-Q3, but with H=47

EiC: 
H=48 

Editorial Board

EB includes many known names, and the first few checked have strong H indices:

Daniel Kroening 48
Rajeev Alur 85
Armin Biere 51
Gérard Berry 40
Ahmed Bouajjani 46

===

WPP for EB

2. Formal Methods in System Design (fmsd):
This journal was published at 37 times by 17 of 40 experts in the last 10 years.
The experts that publish at this journal are: Marta Kwiatkowska(1), Randal E. Bryant(2), Rajeev Alur(4), Aarti Gupta(1), Scott A. Smolka(2), Ahmed Bouajjani(3), Nicolas Halbwachs(1), Andreas Podelski(2), Gérard Berry(1), Armin Biere(2), Kedar S. Namjoshi(2), Daniel Kroening(9), Orna Grumberg(4), Orna Kupferman(3), Ganesh Gopalakrishnan(2), A. Prasad Sistla(1), Sharad Malik(2)

===

Journal used for various special issues. The most important is CAV
(http://cavconference.org/2018/cav-2018-call-for-papers/ ,
http://i-cav.org/2019/call-for-papers/ ,
http://i-cav.org/2020/call-for-papers/) while in the past years also SAS, RV
(Runtime verification) and many other conferences were publishing the best
papers in this journal.  [CAV A*, SAS A, RV C]

===

WPP for top 20 people tagged with "formal methods" in Google Scholar:

Names:

Edmund M. Clarke
C. A. R. Hoare
Rajeev Alur
Somesh Jha
George J. Pappas
Zhiming Liu
Shaoying Liu
David McAllester
Cliff B. Jones
Patrick Cousot
Helmut Veith
Joseph Sifakis
Gul Agha
Lawrence C. Paulson
Sanjiva Prasad
Pierre Wolper
Axel van Lamsweerde
Nicolas Halbwachs
J. Strother Moore

WPP report 

2. Formal Methods in System Design (fmsd):
This journal was published at 20 times by 8 of 17 experts in the last 12 years.
The experts that publish at this journal are: Edmund M. Clarke(7), Somesh Jha(1), Rajeev Alur(4), Nicolas Halbwachs(1), Joseph Sifakis(4), Helmut Veith(3), George J. Pappas(1), Patrick Cousot(1)