Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/20647
Title: | Computer-aided verification : how to trust a machine with your life |
Authors: | Pace, Gordon J. |
Keywords: | Computer systems -- Verification Programming languages (Electronic computers) Computer algorithms |
Issue Date: | 2003 |
Publisher: | University of Malta. Faculty of ICT |
Citation: | Pace, G. J. (2003). Computer-aided verification : how to trust a machine with your life. 1st Computer Science Annual Workshop (CSAW’03), Msida. 84-91. |
Abstract: | Mathematical predictive analysis of the behaviour of circuits and computer pro- grams is a core problem in computer science. Research in formal verification and semantics of programming languages has been an active field for a number of decades, but it was only through techniques developed over these past twenty years that they have been scaled up to work on non-trivial case-studies. This report gives an overview of a number of computer- aided formal verification areas I have been working on over these past couple of years in such a way to be accessible to computer scientists in other disciplines. Brief mention is made of problems in these areas I am actively working on. It does not purport to be an overview of the whole field of computer-aided formal verification or a detailed technical account of my research. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/20647 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Proceedings of CSAW’03-A16.pdf | 153.38 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.