2488 search results - page 224 / 498 » An improvement in formal verification |
117
click to vote
FM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
166
click to vote
AGTIVE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
108
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
ITC
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper presents a technique to improve verification at the VHDL level of digital circuits by means of a specially designed fault injection block. The injection technique allow...
IPL
2006
15 years 1 months ago
2006
Knuth-Bendix completions of the equational theories of k 2 commuting group endomorphisms are obtained, using automated theorem proving and modern termination checking. This impro...