2881 search results - page 95 / 577 » Model Checking for Programming Languages using Verisoft |
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
107
Voted
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
107
click to vote
ASM
2008
ASM
15 years 4 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
143
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
129
Voted
IFM
2009
Springer
15 years 9 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...