Login | Register

A formal verification assistant for TROMLAB environment

Title:

A formal verification assistant for TROMLAB environment

Pompeo, François (1999) A formal verification assistant for TROMLAB environment. Masters thesis, Concordia University.

[thumbnail of MQ43667.pdf]
Preview
Text (application/pdf)
MQ43667.pdf
3MB

Abstract

Formal specifications have become a strong basis in the field of safety critical systems development. Safety, liveness and time bounded properties are characteristics of such systems where the need to secure their adequate implementation is very high. Formal verification of such properties is the research field of this thesis. It presents an automated tool that enables mechanized axiom extraction from real-time reactive systems. It is implemented within TROMLAB which is a development environment based on the Timed Reactive Object Model (TROM). The objective of this tool is to be used within the verification methodology of TROM as an automated assistant to facilitate time dependent property proving for model developers.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Pompeo, François
Pagination:ix, 100 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science and Software Engineering
Date:1999
Thesis Supervisor(s):Alagar, V. S.
Identification Number:QA 76.54 P66 1999
ID Code:875
Deposited By: Concordia University Library
Deposited On:27 Aug 2009 17:15
Last Modified:13 Jul 2020 19:47
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top