Sciweavers

TASE
2010
IEEE
13 years 1 months ago
Verification of a Timed Multitask System With Uppaal
System and program verification has been a large
Houda Bel Mokadem, Béatrice Bérard, ...
TAP
2010
Springer
134views Hardware» more  TAP 2010»
13 years 4 months ago
Testing First-Order Logic Axioms in Program Verification
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
Ki Yung Ahn, Ewen Denney
IFM
2010
Springer
132views Formal Methods» more  IFM 2010»
13 years 4 months ago
From Operating-System Correctness to Pervasively Verified Applications
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
Matthias Daum, Norbert Schirmer, Mareike Schmidt
MPC
2010
Springer
246views Mathematics» more  MPC 2010»
13 years 8 months ago
Abstraction of Object Graphs in Program Verification
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
Yifeng Chen, Jeff W. Sanders
APN
2006
Springer
13 years 8 months ago
Invariant Based Programming
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
Ralph-Johan Back
HIPC
2007
Springer
13 years 10 months ago
Accomplishing Approximate FCFS Fairness Without Queues
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
K. Subramani, Kamesh Madduri
POPL
2010
ACM
14 years 3 months ago
From Program Verification to Program Synthesis
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Fost...

0
posts
with
0
views
320profile views
Vitaliy KlebanEngineer
Saint-Petersburg State University of Information Technologies, Mechanics and Optics
Vitaliy Kleban
ICLP
2009
Springer
14 years 7 months ago
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
Edison Mera, Manuel V. Hermenegildo, Pedro L&oacut...