1463 search results - page 211 / 293 » Model Checking Implicit-Invocation Systems |
115
click to vote
POPL
1990
ACM
15 years 5 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
215
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
116
click to vote
SOSE
2006
IEEE
15 years 7 months ago
2006
IEEE
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...
101
click to vote
FORMATS
2009
Springer
15 years 8 months ago
2009
Springer
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
103
click to vote
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...