39 search results - page 1 / 8 » A Formal Verification Environment for Railway Signaling Syst... |
FMSD
1998
13 years 5 months ago
1998
IFIP
2009
Springer
14 years 9 days ago
2009
Springer
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...
ICCS
2007
Springer
13 years 9 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
AGTIVE
2007
Springer
13 years 9 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
FDL
2007
IEEE
13 years 9 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...