3742 search results - page 124 / 749 » On the Use of Formal Techniques for Validation |
122
click to vote
ITC
2000
IEEE
15 years 10 months ago
2000
IEEE
—This paper presents Algorithm-level REcomputing with Shifted Operands (ARESO), which is a new register transfer (RT) level time redundancy-based concurrent error detection (CED)...
174
click to vote
IJIT
2004
15 years 7 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
165
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Most legacy systems have been altered due to prolonged maintenance to the point that they deviate significantly from their original and intended design and consequently, they lack...
185
click to vote
FOIKS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Argumentation-based formalisms provide a way of considering the defeasible nature of reasoning with partial and often erroneous knowledge in a given environment. This pro...
146
click to vote
FMSB
2008
15 years 8 months ago
2008
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...