Titlebook: Integrated Formal Methods; 12th International C Erika Ábrahám,Marieke Huisman Conference proceedings 2016 Springer International Publishing

fathom

书目名称Integrated Formal Methods影响因子(影响力)




书目名称Integrated Formal Methods影响因子(影响力)学科排名




书目名称Integrated Formal Methods网络公开度




书目名称Integrated Formal Methods网络公开度学科排名




书目名称Integrated Formal Methods被引频次




书目名称Integrated Formal Methods被引频次学科排名




书目名称Integrated Formal Methods年度引用




书目名称Integrated Formal Methods年度引用学科排名




书目名称Integrated Formal Methods读者反馈




书目名称Integrated Formal Methods读者反馈学科排名

optional

金哥占卜者

Towards a Thread-Local Proof Technique for Starvation Freedomstates that under a weakly fair schedule every process will eventually make progress. We contrast our new proof technique with existing global proof techniques based on ranking functions, and employ it exemplarily for the proof of starvation freedom of ticket locks, the standard locking algorithm of the Linux kernel.

Monolithic

里程碑

A Formal Model of the Safety-Critical Java Level 2 Paradigm formal semantics of the SCJ Level 2 paradigm and is an essential ingredient in the development of refinement-based reasoning techniques for SCJ Level 2 programs. We show how our models can be used to prove properties of the SCJ API and applications.

Locale

adjacent

0302-9743 s. They were organized in topical sections named: invitedcontributions; program verification; probabilistic systems; concurrency; safetyand liveness; model learning; SAT and SMT solving; testing; theorem proving andconstraint satisfaction; case studies. .978-3-319-33692-3978-3-319-33693-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

圆桶

暴发户

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automatamum probabilities. We compare our new approach with alternative techniques, first using tractable examples from the literature, then motivate its scalability using case studies that are intractable to numerical model checking and challenging for existing statistical techniques.

somnambulism