139 search results - page 2 / 28 » Totally Verified Systems: Linking Verified Software to Verif... |
ICECCS
2007
IEEE
13 years 9 months ago
2007
IEEE
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
ETFA
2008
IEEE
13 years 7 months ago
2008
IEEE
Distributed real-time applications implement distributed applications with timeliness requirements. Such systems require a deterministic communication medium with bounded communic...
ATVA
2007
Springer
13 years 12 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
DATE
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
ISARCS
2010
13 years 7 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...