6167 search results - page 87 / 1234 » Can Refinement be Automated |
218
Voted
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
136
click to vote
ETFA
2008
IEEE
15 years 10 months ago
2008
IEEE
Security aspects of today’s automation systems gain increasing importance. One critical point regarding security is the exchange of control data over the network. Recently, cryp...
127
click to vote
PRICAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
137
Voted
STTT
2008
15 years 4 months ago
2008
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
124
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...