3147 search results - page 479 / 630 » Open-Source Model Checking |
139
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
114
click to vote
CP
2004
Springer
15 years 5 months ago
2004
Springer
Scheduling is one of the most successful application areas of constraint programming mainly thanks to special global constraints designed to model resource restrictions. Among thes...
124
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
142
click to vote
DDECS
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
ECOWS
2006
Springer
15 years 5 months ago
2006
Springer
This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional conven...