Safety-critical systems, formal methods and standards
J Bowen, V Stavridou - Software engineering journal, 1993 - IET
Standards concerned with the development of safety-critical systems, and the software in
such systems in particular, abound today as the software crisis increasingly affects the world …
such systems in particular, abound today as the software crisis increasingly affects the world …
[BOOK][B] Nets, terms and formulas: three views of concurrent processes and their relationship
ER Olderog - 1992 - dl.acm.org
The theory of concurrency is a fruitful area of research, which has resulted in a wealth of
formalisms for the description and study of concurrent processes. The unique feature of this …
formalisms for the description and study of concurrent processes. The unique feature of this …
Specifying and verifying requirements of real-time systems
AP Ravn, H Rischel, KM Hansen - IEEE Transactions on …, 1993 - ieeexplore.ieee.org
An approach to specification of requirements and verification of design for real-time systems
is presented. A system is defined by a conventional mathematical model for a dynamic …
is presented. A system is defined by a conventional mathematical model for a dynamic …
Duration calculus: Logical foundations
MR Hansen, Z Chaochen - Formal aspects of Computing, 1997 - Springer
Abstract The Duration Calculus (abbreviated DC) represents a logical approach for formal
design of real-time systems, where real numbers are used to model time and Boolean …
design of real-time systems, where real numbers are used to model time and Boolean …
Engineering a formal, executable x86 ISA simulator for software verification
Construction of a formal model of a computing system is a necessary practice in formal
verification. The results of formal analysis can only be valued to the same degree as the …
verification. The results of formal analysis can only be valued to the same degree as the …
A refinement calculus for shared-variable parallel and distributed programming
J Dingel - Formal Aspects of Computing, 2002 - Springer
Parallel computers have not yet had the expected impact on mainstream computing.
Parallelism adds a level of complexity to the programming task that makes it very error …
Parallelism adds a level of complexity to the programming task that makes it very error …
Jifeng He at Oxford and Beyond: An Appreciation
JP Bowen, H Zhu - Theories of Programming and Formal Methods: Essays …, 2023 - Springer
This paper provides an overview of Jifeng He's academic achievements while at Oxford
University in the UK, and later in Macau and Shanghai, together with his legacy …
University in the UK, and later in Macau and Shanghai, together with his legacy …
Formal methods communities of practice: A survey of personal experience
This paper surveys certain Communities of Practice (CoP) in the field of formal methods for
software engineering, especially with respect to state-based notations, using personal …
software engineering, especially with respect to state-based notations, using personal …
Specification of embedded, real-time systems
JU Skakkebæk, AP Ravn, H Rischel… - … workshop on Real …, 1992 - ieeexplore.ieee.org
An approach to requirements specification and subsequent verification of designs for
embedded, real-time systems is presented. A system is given by a conventional …
embedded, real-time systems is presented. A system is given by a conventional …
Pinnacles of software engineering: 25 years of formal methods
D Bjørner - Annals of Software Engineering, 2000 - Springer
In this invited paper we review 25 years of propagating formal specification in software
engineering. We will do so through outlining a paradigmatic approach to the practice of …
engineering. We will do so through outlining a paradigmatic approach to the practice of …