Login | Register

A formal verification assistant for TROMLAB environment


A formal verification assistant for TROMLAB environment

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

Text (application/pdf)


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
Thesis Supervisor(s):Alagar, V. S.
ID Code:875
Deposited By: Concordia University Library
Deposited On:27 Aug 2009 17:15
Last Modified:18 Jan 2018 17:15
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

Back to top Back to top