852 search results - page 112 / 171 » entcs 2010 |
ENTCS
2007
15 years 13 days ago
2007
We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning...
83
Voted
ENTCS
2007
15 years 13 days ago
2007
We give a uniform type-systematic account of a number of optimizations and the underlying analyses for a bytecode-like stack-based low-level language, including analysis soundness...
107
Voted
ENTCS
2007
15 years 13 days ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
ENTCS
2007
15 years 13 days ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...
89
Voted
ENTCS
2007
15 years 13 days ago
2007
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...