237
Voted
TACAS
2014
Springer
10 years 1 months ago
2014
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region, in which nothing “bad” happens. Equival...
159
Voted
NFM
2014
10 years 1 months ago
2014
Abstract. RTCA DO-333, Formal Methods Supplement to DO-178C and DO278A, provides guidance for software developers wishing to use formal methods in the certification of airborne sys...
MBMV
2014
10 years 1 months ago
2014
In general, synchronous systems can be represented as a set of so-called synchronous guarded actions (SGAs) that consist of a trigger condition and an atomic action. Whenever the ...
LATA
2014
Springer
10 years 1 months ago
2014
Springer
The Strahler number or Horton-Strahler number of a tree, originally introduced in geophysics, has a surprisingly rich theory. We sketch some milestones in its history, and its conn...
GKR
2014
10 years 1 months ago
2014
This is an application paper in which we propose to use an extended version of the conceptual graph framework to represent and reason on expert knowledge for cheese making. In thi...