B method - PowerPoint PPT Presentation

The B Method

The B Method. b y Péter Györök. Contents. Metadata The B language The Prover Demo. People behind it. Developed by Jean-Raymond Abrial Other people : G. Laffite , F. Mejia , I. McNeal Currently big companies and various universities maintain it

★ ★ ★ ★ ★

546 views • 37 slides

Towards the Formal Verification of a Java Processor in Event-B

Towards the Formal Verification of a Java Processor in Event-B. Neil Evans and Neil Grant AWE, Aldermaston. Motivation. The Scalable Core processor (Score) is a hardware implementation of a JVM Instruction Set Architecture (ISA) level instructions are Java bytecodes

★ ★ ★ ★ ★

425 views • 32 slides

Function Point Measurement from Java Programs

Function Point Measurement from Java Programs. Shinji Kusumoto + , Masahiro Imagawa + , Katsuro Inoue + Shuuma Morimoto $ , Kouji Matsusita $ , Michio Tsuda $ + Osaka University $ Hitachi System &amp; Service, Ltd. effort (person-months). 300. 0. 2000. FP. Background(1/3).

★ ★ ★ ★ ★

365 views • 25 slides

View B method PowerPoint (PPT) presentations online in SlideServe. SlideServe has a very huge collection of B method PowerPoint presentations. You can view or download B method presentations for your school assignment or business presentation. Browse for the presentations on every topic that you want.