2881 search results - page 88 / 577 » Model Checking for Programming Languages using Verisoft |
116
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
220
click to vote
CC
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
136
Voted
MODELS
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
134
click to vote
SAC
2000
ACM
15 years 6 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
119
Voted
LPAR
2010
Springer
15 years 10 days ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...