597 search results - page 26 / 120 » Formal Techniques for Java-Like Programs |
131
click to vote
SAC
2010
ACM
15 years 3 days ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
119
click to vote
SAS
2010
Springer
15 years 19 days ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
124
click to vote
EMSOFT
2010
Springer
15 years 7 days ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
171
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
102
click to vote
ATVA
2005
Springer
15 years 7 months ago
2005
Springer
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...