1356 search results - page 58 / 272 » The ideal of verified software |
IRI
2005
IEEE
15 years 5 months ago
2005
IEEE
– To build, manage and apply reusable components easily and efficiently are an ideal of software developers. Service-oriented architectures provide more hopes for reusable compon...
CADE
2008
Springer
15 years 1 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
CODES
2001
IEEE
15 years 3 months ago
2001
IEEE
We introduce the foundation of a system modeling environment targeted at capturing the anticipated interactions of hardware and software behaviors -- not just their co-execution. ...
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
104
click to vote
ICSE
2010
IEEE-ACM
15 years 1 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...