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影響因子(影響力)學(xué)科排名




書目名稱Integrated Formal Methods網(wǎng)絡(luò)公開度




書目名稱Integrated Formal Methods網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Integrated Formal Methods被引頻次




書目名稱Integrated Formal Methods被引頻次學(xué)科排名




書目名稱Integrated Formal Methods年度引用




書目名稱Integrated Formal Methods年度引用學(xué)科排名




書目名稱Integrated Formal Methods讀者反饋




書目名稱Integrated Formal Methods讀者反饋學(xué)科排名

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

圓桶

暴發(fā)戶

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