378 search results - page 33 / 76 » Automating Coinduction with Case Analysis |
ICFEM
2009
Springer
14 years 5 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
DEON
2010
Springer
14 years 1 months ago
2010
Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
DEON
2008
Springer
14 years 23 days ago
2008
Springer
Abstract. Norms are implemented by administrative procedures. This paper addresses the delegation of control in administrative procedures. Instead of having to check all details, a...
TPHOL
2006
IEEE
14 years 5 months ago
2006
IEEE
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...
DAC
2009
ACM
14 years 12 months ago
2009
ACM
Power and performance benefits of scaling are lost to worst case margins as uncertainty of device characteristics is increasing. Adaptive techniques can dynamically adjust the mar...