Výsledky vyhledávání

Experience in developing the mCRL2 toolset

Autor: Groote, J.F., Keiren, J.J.A., Stappers, F.P.M., Wesselink, J.W., Willemse, T.A.C., Gervais, F., Fraikin, B.

Publikováno v: Informal Proceedings of the 1st Workshop on Tool Building in Formal Methods (TBFM'10, Orford, Québec, Canada, February 22, 2010; in conjunction with ABZ 2010), 1-3
STARTPAGE=1;ENDPAGE=3;TITLE=Informal Proceedings of the 1st Workshop on Tool Building in Formal Methods (TBFM'10, Orford, Québec, Canada, February 22, 2010; in conjunction with ABZ 2010)

mCRL2 is a language with a toolset for formal analysis of behaviour of concurrent systems. It is developed in an academic research group to support process algebra based verification in an academic as well as an industrial setting. This paper provide

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::1a8fe0c6a27eddfce0ea3152ad5a546e
https://research.tue.nl/nl/publications/cce20002-6a29-4ac0-9cc5-3160370829ed

Zobrazit plný text záznamu

Generic programming in the mCRL2 toolset

Autor: Wesselink, J.W., Wulp, van der, J., Keiren, J.J.A., Gervais, F., Fraikin, B.

The mCRL2 tool set [GKM+08] is a tool set for verification and validation of concurrent processes, based on process algebra speci??cations. The mCRL2 language is based on the Algebra of Communicating Processes (ACP), which is extended to include data

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::842753553549038fbddba483f89e7d64
https://research.tue.nl/nl/publications/02288c8b-4e08-46aa-9b45-ab04a86904bf

Zobrazit plný text záznamu

Synthesizing information systems: the APIS project

Autor: Marc Frappier, Fraikin, B., Frederic Gervais, Régine Laleau, Mario Richard

Publikováno v: RCIS'07 First Int. Conf. on Research Challenges in Information Science, Ouarzazate
RCIS'07 First Int. Conf. on Research Challenges in Information Science, Ouarzazate, Jan 2007, X, France. pp.73-84
HAL

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cb87ef548819781e231ae6946ab68532
https://hal.archives-ouvertes.fr/hal-01125305

Zobrazit plný text záznamu

APIS : Automatic Production of Information Systems

Autor: Frappier, Marc, Fraikin, B., Laleau, Régine, Richard, Mario

Publikováno v: International AAAI 2002 Spring Symposium : Logic-Based Program Synthesis: State-of-the-Art and Futur
International AAAI 2002 Spring Symposium : Logic-Based Program Synthesis: State-of-the-Art and Futur, Jan 2002, X, France

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d6146fd3a20690a35b0f3ca51acaae19
https://hal.archives-ouvertes.fr/hal-01124762

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Conference

Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven.

Autor: de Champs, T., Ouenzar, M., Abdulrazak, B., Frappier, M., Pigot, H., Fraikin, B.

Publikováno v: 2011 IEEE International Conference on Pervasive Computing & Communications Workshops (PERCOM Workshops); 2011, p630-635, 6p

Zobrazit plný text záznamu

Conference

A reachability graph construction technique for supervisor synthesis with parameters.

Autor: Jiague, M.E., Fraikin, B., St-Denis, R.

Publikováno v: Industrial Electronics, 2009. IECON '09. 35th Annual Conference of IEEE; 2009, p4333-4340, 8p

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání