1914 search results - page 105 / 383 » Verification by Abstract Interpretation |
107
click to vote
CORR
2008
Springer
15 years 22 days ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
212
click to vote
POPL
2007
ACM
16 years 29 days ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
128
click to vote
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
82
Voted
AIS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...