294 search results - page 10 / 59 » Formal Verification of the Implementability of Timing Requir... |
137
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
133
click to vote
FUIN
2006
15 years 3 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
121
click to vote
SNPD
2004
15 years 5 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
171
click to vote
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
125
click to vote
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...