A formal verification assistant for TROMLAB environment
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 re...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
1999
|
| Online Access: | http://spectrum.library.concordia.ca/875/1/MQ43667.pdf Pompeo, François <http://spectrum.library.concordia.ca/view/creators/Pompeo=3AFranc==0327ois=3A=3A.html> (1999) A formal verification assistant for TROMLAB environment. Masters thesis, Concordia University. |