838 search results - page 26 / 168 » From Natural Language to Formal Proof Goal |
SCN
2010
Springer
13 years 5 months ago
2010
Springer
In this work, we consider Authentication and Key Agreement (AKA), a popular client-server Key Exchange (KE) protocol, commonly used in wireless standards (e.g., UMTS), and widely c...
FLOPS
2010
Springer
14 years 2 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
FDL
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— We describe the tight integration of incremental natural language understanding, goal management, and action processing in a complex robotic architecture, which is required for...