Automatic Verification
10 Followers
Recent papers in Automatic Verification
Despite their popularity and importance, pointer-based programs remain a major challenge for program verification. In this paper, we propose an automated verification system that is concise, precise and expressive for ensuring the safety... more
Abstract: We present a framework that supports the formalverification of early requirements specifications. The frameworkis based on Formal Tropos, a specification language thatadopts primitive concepts for modeling early... more
Page 1. Int. J. Simulation and Process Modelling, Vol. 4, Nos. 3/4, 2008 167 Copyright © 2008 Inderscience Enterprises Ltd. Automatic verification of business process integrity Manuel I. Capel-Tuñón* Dpto. de Lenguajes y Sistemas ...
A railway interlocking system (RIS) is an embedded system (namely a supervisory control system) that ensures the safe, operation of the devices in a railway station. RIS is a safety critical system. We explore the possibility of... more
A number of recent proposals aim to incorporate security engineering into mainstream software engineering. Yet, capturing trust and security requirements at an organizational level, as opposed to an IT system level, and mapping these into... more
Hazard analysis is a crucial task in plant design. It is expensive in terms of money and time, and involves many specialists in different disciplines who are required to analyse aspects dispersed throughout the plant documentation.... more
We present a novel approach to the automatic verification and falsification of LTL requirements of non-linear discrete-time hybrid systems. The verification tool uses an interval-based constraint solver for non-linear robust constraints... more