Electronic Communications of the EASST Volume? (2009) Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems

Specification of asynchronous communicating systems (SACS).

Bavan, A.
Illingworth, E.
Rajan, A.
Abeysinghe, G.
Bavan, A.
Illingworth, E.
Rajan, A.
Abeysinghe, G.

January 2007

This paper presents the Specification of Asynchronous Communication System (SACS), a formal notation...

Standard construction and destruction algorithms

Singer, Jeremy
Rastello, Fabrice

December 2022

This chapter describes the standard algorithms for construction and destruction of SSA form. SSA con...

An equivalence theorem for the specification of asynchronous communication systems (SACS) and asynchronous message passing systems (AMPS)

Rajan, A. V. S.
Bavan, A. S.
Abeysinghe, Geetha

January 2010

Formal semantics have been employed in the specification and verification of programming languages. ...

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form

Besnard, Loïc
Gautier, Thierry
Moy, Matthieu
Talpin, Jean-Pierre
Johnson, Kenneth
Maraninchi, Florence

January 2009

We present an approach for the translation of imperative code (like C, C++) into the synchronous for...

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form

Besnard, Loïc
Gautier, Thierry
Moy, Matthieu
Talpin, Jean-Pierre
Johnson, Kenneth
Maraninchi, Florence

January 2009

We present an approach for the translation of imperative code (like C, C++) into the synchronous for...

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form

Besnard, Loïc
Gautier, Thierry
Moy, Matthieu
Talpin, Jean-Pierre
Johnson, Kenneth
Maraninchi, Florence

January 2009

We present an approach for the translation of imperative code (like C, C++) into the synchronous for...

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form

Besnard, Loïc
Gautier, Thierry
Moy, Matthieu
Talpin, Jean-Pierre
Johnson, Kenneth
Maraninchi, Florence

December 2009

We present an approach for the translation of imperative code (like C, C++) into the synchronous for...

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form

Besnard, Loïc
Gautier, Thierry
Moy, Matthieu
Talpin, Jean-Pierre
Johnson, Kenneth
Maraninchi, Florence

January 2009

We present an approach for the translation of imperative code (like C, C++) into the synchronous for...

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form

Besnard, Loïc
Gautier, Thierry
Moy, Matthieu
Talpin, Jean-Pierre
Johnson, Kenneth
Maraninchi, Florence

January 2009

We present an approach for the translation of imperative code (like C, C++) into the synchronous for...

Formal methods and tools for the development of distributed and real time systems : Esprit Project 3096 (SPEC)

Roever, de, W.P.
Barringer, H.
Courcoubetis, C.
Gabbay, D.M.
Gerth, R.T.
Jonsson, B.
Pnueli, A.
Reed, M.
Sifakis, J.
Vytopil, J.
Wolper, P.

January 1990

The Basic Research Action No. 3096, Formal Methods snd Tools for the Development of Distributed and ...

Formal methods and tools for the development of distributed and real time systems : Esprit Project 3096 (SPEC)

Roever, de, W.P.
Barringer, H.
Courcoubetis, C.
Gabbay, D.M.
Gerth, R.T.
Jonsson, B.
Pnueli, A.
Reed, M.
Sifakis, J.
Vytopil, J.
Wolper, P.

January 1990

The Basic Research Action No. 3096, Formal Methods snd Tools for the Development of Distributed and ...

STSARCES : an European research initiative to harmonize validation methods on safety related complex electronic systems

Villeneuve De Janti, Philippe

October 1999

Dans le cadre de la Directive Machines, des travaux de normalisation du CEN/CENELEC sur les parties ...

Proceedings of the 17th Annual Conference of the European Association for Machine Translation

January 2014

Proceedings of the 17th Annual Conference of the European Association for Machine Translation (EAMT

Semantics for the specification of asynchronous communicating systems (SACS)

Rajan, A.
Bavan, A.
Abeysinghe, G.
Rajan, A.
Bavan, A.
Abeysinghe, G.

January 2008

The objective of the paper is to describe the formal definitions for the Specification of Asynchrono...

Langages de scénarios (utiliser des ordres partiels pour modéliser, vérifier et superviser des sytèmes parallèles et répartis)

GAZAGNAIRE, Thomas
JARD, Claude

January 2008

Cette thèse se place dans le cadre de la modélisation et de l'analyse de systèmes parallèles et répa...

Specification of asynchronous communicating systems (SACS).

Bavan, A.
Illingworth, E.
Rajan, A.
Abeysinghe, G.
Bavan, A.
Illingworth, E.
Rajan, A.
Abeysinghe, G.

January 2007

This paper presents the Specification of Asynchronous Communication System (SACS), a formal notation...

Standard construction and destruction algorithms

Singer, Jeremy
Rastello, Fabrice

December 2022

This chapter describes the standard algorithms for construction and destruction of SSA form. SSA con...

An equivalence theorem for the specification of asynchronous communication systems (SACS) and asynchronous message passing systems (AMPS)

Rajan, A. V. S.
Bavan, A. S.
Abeysinghe, Geetha

January 2010

Formal semantics have been employed in the specification and verification of programming languages. ...

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form

Besnard, Loïc
Gautier, Thierry
Moy, Matthieu
Talpin, Jean-Pierre
Johnson, Kenneth
Maraninchi, Florence

January 2009

We present an approach for the translation of imperative code (like C, C++) into the synchronous for...

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form

Besnard, Loïc
Gautier, Thierry
Moy, Matthieu
Talpin, Jean-Pierre
Johnson, Kenneth
Maraninchi, Florence

January 2009

We present an approach for the translation of imperative code (like C, C++) into the synchronous for...

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form

Besnard, Loïc
Gautier, Thierry
Moy, Matthieu
Talpin, Jean-Pierre
Johnson, Kenneth
Maraninchi, Florence

January 2009

We present an approach for the translation of imperative code (like C, C++) into the synchronous for...

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form

Besnard, Loïc
Gautier, Thierry
Moy, Matthieu
Talpin, Jean-Pierre
Johnson, Kenneth
Maraninchi, Florence

December 2009

We present an approach for the translation of imperative code (like C, C++) into the synchronous for...

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form

Besnard, Loïc
Gautier, Thierry
Moy, Matthieu
Talpin, Jean-Pierre
Johnson, Kenneth
Maraninchi, Florence

January 2009

We present an approach for the translation of imperative code (like C, C++) into the synchronous for...

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form

Besnard, Loïc
Gautier, Thierry
Moy, Matthieu
Talpin, Jean-Pierre
Johnson, Kenneth
Maraninchi, Florence

January 2009

We present an approach for the translation of imperative code (like C, C++) into the synchronous for...

Formal methods and tools for the development of distributed and real time systems : Esprit Project 3096 (SPEC)

Roever, de, W.P.
Barringer, H.
Courcoubetis, C.
Gabbay, D.M.
Gerth, R.T.
Jonsson, B.
Pnueli, A.
Reed, M.
Sifakis, J.
Vytopil, J.
Wolper, P.

January 1990

The Basic Research Action No. 3096, Formal Methods snd Tools for the Development of Distributed and ...

Formal methods and tools for the development of distributed and real time systems : Esprit Project 3096 (SPEC)

Roever, de, W.P.
Barringer, H.
Courcoubetis, C.
Gabbay, D.M.
Gerth, R.T.
Jonsson, B.
Pnueli, A.
Reed, M.
Sifakis, J.
Vytopil, J.
Wolper, P.

January 1990

The Basic Research Action No. 3096, Formal Methods snd Tools for the Development of Distributed and ...

STSARCES : an European research initiative to harmonize validation methods on safety related complex electronic systems

Villeneuve De Janti, Philippe

October 1999

Dans le cadre de la Directive Machines, des travaux de normalisation du CEN/CENELEC sur les parties ...

Proceedings of the 17th Annual Conference of the European Association for Machine Translation

January 2014

Proceedings of the 17th Annual Conference of the European Association for Machine Translation (EAMT

Semantics for the specification of asynchronous communicating systems (SACS)

Rajan, A.
Bavan, A.
Abeysinghe, G.
Rajan, A.
Bavan, A.
Abeysinghe, G.

January 2008

The objective of the paper is to describe the formal definitions for the Specification of Asynchrono...

Langages de scénarios (utiliser des ordres partiels pour modéliser, vérifier et superviser des sytèmes parallèles et répartis)

GAZAGNAIRE, Thomas
JARD, Claude

January 2008

Cette thèse se place dans le cadre de la modélisation et de l'analyse de systèmes parallèles et répa...

Specification of asynchronous communicating systems (SACS).

Bavan, A.
Illingworth, E.
Rajan, A.
Abeysinghe, G.
Bavan, A.
Illingworth, E.
Rajan, A.
Abeysinghe, G.

January 2007

This paper presents the Specification of Asynchronous Communication System (SACS), a formal notation...

Standard construction and destruction algorithms

Singer, Jeremy
Rastello, Fabrice

December 2022

This chapter describes the standard algorithms for construction and destruction of SSA form. SSA con...

An equivalence theorem for the specification of asynchronous communication systems (SACS) and asynchronous message passing systems (AMPS)

Rajan, A. V. S.
Bavan, A. S.
Abeysinghe, Geetha

January 2010

Formal semantics have been employed in the specification and verification of programming languages. ...

Electronic Communications of the EASST Volume? (2009) Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems

Abstract

Extracted data

Electronic Communications of the EASST Volume? (2009) Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems

Abstract

Extracted data

Related items

Related items