13383 search results - page 386 / 2677 » Abstractions from proofs |
195
click to vote
VMCAI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
150
Voted
ETFA
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract— This work deals with the control and the observation of a remote system using Internet as a communication line. The process consists in a Slave part S, with poor comput...
220
click to vote
ACL2
2006
ACM
16 years 25 days ago
2006
ACM
ACL2 is used to systematically study domains whose elements can be “uniquely” factored into products of “irreducible” elements. The best known examples of such domains are...
170
click to vote
ADAEUROPE
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
146
click to vote
ASM
2005
ASM
16 years 12 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...