294 search results - page 10 / 59 » Formal Verification of the Implementability of Timing Requir... |
102
click to vote
CORR
2008
Springer
15 years 13 days 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...
100
Voted
FUIN
2006
15 years 10 days 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...
96
Voted
SNPD
2004
15 years 1 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 (...
143
Voted
AOSD
2009
ACM
15 years 4 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...
96
Voted
ISORC
2009
IEEE
15 years 7 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...