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 app
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.
Go ahead and submit. Remember to select a CC BY licence to ensure compliance.
Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.
Select the open access publishing option with a CC BY license to ensure compliance.
Go ahead and submit. Remember to select a CC BY license to ensure compliance.
Following acceptance, please deposit your author accepted manuscript in a repository without embargo.
Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.