For the current REF see the REF 2021 website REF 2021 logo

Output details

11 - Computer Science and Informatics

University of Oxford

Return to search Previous output Next output
Output 0 of 0 in the submission
Article title

A verification system for interval-based specification languages

Type
D - Journal article
Title of journal
ACM Transactions on Software Engineering and Methodology
Article number
13
Volume number
19
Issue number
4
First page of article
-
ISSN of journal
1049-331X
Year of publication
2010
URL
-
Number of additional authors
3
Additional information

<10>

This relates to the creation of a theory and associated tools for verification - which serve to help to validate the theory. Software tools of this kind facilitate a variety of other pieces of research - whether or not the contribution of the underlying theory is recognised. Besides the tool described in this paper, its work was also influential in development of another tool, PAT, with thousands of users. It has been applied, or helped to inform work in verifying MANETS and REST web services (Wu et al., 2013), and the semantics for Verilog (Zhu et al., 2011).

Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
3
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-