2881 search results - page 50 / 577 » Model Checking for Programming Languages using Verisoft |
115
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
108
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Speck1 is a system that accelerates powerful security checks on commodity hardware by executing them in parallel on multiple cores. Speck provides an infrastructure that allows se...
107
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...