32032 search results - page 69 / 6407 » Verified programming in Guru |
120
Voted
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
104
Voted
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
148
click to vote
CEFP
2007
Springer
15 years 6 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
113
click to vote
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
140
Voted
EUROPAR
2010
Springer
14 years 10 months ago
2010
Springer
Star Superscalar is a task-based programming model. The programmer starts with an ordinary C program, and adds pragmas to mark functions as tasks, identifying their inputs and outp...