1782 search results - page 142 / 357 » Tool Support for Proof Engineering |
174
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
149
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale-up the ...
164
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
174
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
167
click to vote
KBSE
2008
IEEE
16 years 25 days ago
2008
IEEE
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whethe...