This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.
The term "formal methods" has been applied to a range of notations, theories and tools. There is no doubt that some of these have already had a significant impact on practical applications of computing. Indeed, it is interesting to note that once something is adopted into practical use it is no longer thought of as a formal method. Apart from widely used notations such as those for syntax and state machines, there have been significant applications of specification notations, development methods and tools both for proving general results and for searching for specific conditions. However, the most profound and lasting influence of the formal approach is the way it has illuminated fundamental concepts like those of communication.
In this spirit, the principal aim of this journal is to promote the growth of computing science, to show its relation to practice and to stimulate applications of apposite formalisms to practical problems. One significant challenge is to show how a range of formal models can be related to each other.
AUTHORS PLEASE NOTE: Before submitting a paper, authors are asked to contact an appropriate Editorial Board member and ascertain that he/she is willing and able to process your submission in a timely fashion. You can find the list of Editorial Board members and their email addresses under the “Editorial Board” tab on the journal homepage. Once you have submitted your paper you will be asked, by the system, to supply the Editor’s name before your submission will be processed.
The term "formal methods" has been applied to a range of notations, theories and tools. There is no doubt that some of these have already had a significant impact on practical applications of computing. Indeed, it is interesting to note that once something is adopted into practical use it is no longer thought of as a formal method. Apart from widely used notations such as those for syntax and state machines, there have been significant applications of specification notations, development methods and tools both for proving general results and for searching for specific conditions. However, the most profound and lasting influence of the formal approach is the way it has illuminated fundamental concepts like those of communication.
In this spirit, the principal aim of this journal is to promote the growth of computing science, to show its relation to practice and to stimulate applications of apposite formalisms to practical problems. One significant challenge is to show how a range of formal models can be related to each other.
AUTHORS PLEASE NOTE: Before submitting a paper, authors are asked to contact an appropriate Editorial Board member and ascertain that he/she is willing and able to process your submission in a timely fashion. You can find the list of Editorial Board members and their email addresses under the “Editorial Board” tab on the journal homepage. Once you have submitted your paper you will be asked, by the system, to supply the Editor’s name before your submission will be processed.
- Presents research and development results at the junction of computing theory and practice
- Includes well-founded notations for the description of systems, approaches to fault-tolerant design and formal approaches to requirements analysis
- Stimulates applications of apposite formalisms to practical problems
Journal information
- Chief Editor
-
- James Woodcock
- Publishing model
- Hybrid (Transformative Journal). Learn about publishing Open Access with us
Journal metrics
- 0.516 (2019)
- Impact factor
- 0.647 (2019)
- Five year impact factor
- 141 days
- Submission to first decision
- 250 days
- Submission to acceptance
- 11,984 (2019)
- Downloads
Latest issue

Volume 33
EXTENDED VERSIONS OF PAPERS PRESENTED AT FM 2018
Latest articles
-
-
-
-
Editorial
Authors
-
Modular verification of programs with effects and effects handlers
Authors (first, second and last of 4)
Societies, partners and affiliations
About this journal
- Electronic ISSN
- 1433-299X
- Print ISSN
- 0934-5043
- Abstracted and indexed in
-
- ACM Digital Library
- CNKI
- Current Contents/Engineering, Computing and Technology
- DBLP
- Dimensions
- EBSCO Academic Search
- EBSCO Applied Science & Technology Source
- EBSCO Computer Science Index
- EBSCO Computers & Applied Sciences Complete
- EBSCO Discovery Service
- EBSCO Engineering Source
- EBSCO STM Source
- EI Compendex
- Google Scholar
- INSPEC
- Institute of Scientific and Technical Information of China
- Japanese Science and Technology Agency (JST)
- Journal Citation Reports/Science Edition
- Mathematical Reviews
- Naver
- OCLC WorldCat Discovery Service
- ProQuest Advanced Technologies & Aerospace Database
- ProQuest Central
- ProQuest Computer Science
- ProQuest Computer and Information Systems Abstracts
- ProQuest Pharma Collection
- ProQuest SciTech Premium Collection
- ProQuest Technology Collection
- ProQuest-ExLibris Primo
- ProQuest-ExLibris Summon
- SCImago
- SCOPUS
- Science Citation Index Expanded (SciSearch)
- TD Net Discovery Service
- UGC-CARE List (India)
- WTI Frankfurt eG
- zbMATH
- Copyright information