2881 search results - page 92 / 577 » Model Checking for Programming Languages using Verisoft |
153
click to vote
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
119
click to vote
FMICS
2007
Springer
15 years 8 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
113
click to vote
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
141
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
ISMVL
2003
IEEE
15 years 7 months ago
2003
IEEE
In earlier work [9], we defined CTL model-checking over finite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois an...