Investigating the Influence of Formal Methods Formal methods promise much, but can they deliver? In this project, results are inconclusive, but careful data gathering and analysis helped establish influences on product quality.

I like the following explanation.1 Explain the difference between safety and security Safety is rather protection against accidental events; security is rather protection against intentional damages.Examples:1) In the case of a hurricane a…

C プログラムから Control Flow Graph（CFG）を取り出す必要があり、色々と調べてみた。結果、以下の2つの方法が有望そう。1つはgcc の"-fdump-tree-fixupcfg" オプションを使う方法。もう一つは、Berkley が作っている C Intermediate Language (CIL) を使…

仕様記述言語とプログラミング言語の違いってほとんどないような感じを前々から持っていて、そもそも区別する必要がないんじゃない？と考えていた。そんな折、2011年11月の IEEE Software archive（Volume 28 Issue 6）に「From Programming o Modeling and …

[Frama-c-discuss] frama graph plugins [Frama-c-discuss] frama graph plugins Julien Signoles Julien.Signoles at cea.fr Fri May 28 10:18:43 CEST 2010 Previous message: [Frama-c-discuss] frama graph plugins Next message: [Frama-c-discuss] Non…

gcc -fdump-tree-cfg sample.c

Coflo GCC Python plugin — gcc-python-plugin 0.16 documentation

Microsoft Academic Microsoft Academic- Microsoft Academic Microsoft Academic Microsoft Academic Microsoft Academic Microsoft Academic Microsoft Academic Microsoft Academic Microsoft Academic Microsoft Academic Microsoft Academic Microsoft …

Famous Bisimulation checker Piet Mobility Workbench ABC

On the Adoption of Model Checking in Safety-Related Software Industry Alessandro Fantechi, Stefania GnesiComputer Safety, Reliability, and Security Lecture Notes in Computer Science Volume 6894, 2011, pp 383-396 3.3 Tool Qualification When …

Requirements engineers live in a world where conflicts are the rule, not the exception [Eas94].

A Survey of Combinatorial TestingCHANGHAI NIE, State Key Laboratory for Novel Software Technology, Nanjing University HARETON LEUNG, Hong Kong Polytechnic UniversityACM Computing Surveys, Vol. 43, No. 2, Article 11, Publication date: Janua…