4418 search results - page 158 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
156
click to vote
TYPES
2004
Springer
15 years 10 months ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...
139
click to vote
TASE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
128
click to vote
GLVLSI
2006
IEEE
15 years 10 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
137
click to vote
IWEC
2010
15 years 6 months ago
2010
In many computer games narrative is a core component with the game centering on an unfolding, interactive storyline which both motivates and is driven by the game-play. Analyzing n...
172
click to vote
ICDCSW
2009
IEEE
15 years 11 months ago
2009
IEEE
Contemporary computing infrastructure, such as networking stacks, OS and middleware, are made up of layers of software functionality that have evolved over decades to support the ...