School of Computing

Formal Methods Elsewhere

Howard Bowman, editor

volume 43 of Electronic Notes in Theoretical Computer Science. Elsevier Science, June 2001 A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering.

Abstract

The FM-Elsewhere workshop, co-located with FORTE-PSTV-2000 in Pisa, was a forum for researchers interested in the application of formal methods to virtually any area of research, except communication protocols and software engineering. The talks included in the workshop covered the spectrum of FM-Elsewhere areas. In particular, applications of formal methods to all the following areas were considered,

safety analysis of cockpit interfaces; solving games and puzzles using state space exploration techniques; modelling theories of the mind; usability anaylsis of human computer interfaces; formal definition of linguistic systems; and modelling in mechanics and physics.



Bibtex Record

@proceedings{1204,
author = {},
title = {{F}ormal {M}ethods {E}lsewhere},
month = {June},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1204},
    publication_type = {proceedings},
    submission_id = {16864_991911315},
    editor = {Howard Bowman},
    volume = {43},
    series = {Electronic Notes in Theoretical Computer Science},
    publisher = {Elsevier Science},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014