12745 search results - page 327 / 2549 » Automating test automation |
94
Voted
DAC
2007
ACM
16 years 7 months ago
2007
ACM
184
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
155
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
Industrial and building automation systems are more and more important in industry and buildings. New services and novel fields of application call for dependable systems. Two ver...
167
Voted
LPAR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover ...