Filtrer vos résultats
- 52
- 2
- 25
- 17
- 7
- 3
- 1
- 1
- 13
- 2
- 54
- 1
- 3
- 4
- 4
- 5
- 4
- 1
- 4
- 1
- 2
- 2
- 1
- 1
- 5
- 2
- 2
- 1
- 2
- 4
- 1
- 1
- 2
- 1
- 50
- 4
- 54
- 51
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 54
- 17
- 7
- 7
- 7
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
54 résultats
|
|
triés par
|
|
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data[Research Report] RR-4666, INRIA. 2002
Rapport
inria-00071919v1
|
||
|
SVL : a Scripting Language for Compositional Verification[Research Report] RR-4223, INRIA. 2001
Rapport
inria-00072396v1
|
||
|
From LOTOS to LNTJoost-Pieter Katoen; Rom Langerak; Arend Rensink. ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, 10500, Springer, pp.3-26, 2017, Lecture Notes in Computer Science, 978-3-319-68270-9. ⟨10.1007/978-3-319-68270-9_1⟩
Chapitre d'ouvrage
hal-01621670v1
|
||
Compositional Verification of Asynchronous Concurrent Systems using CADPActa Informatica, 2015, 52 (4), pp.56. ⟨10.1007/s00236-015-0226-1⟩
Article dans une revue
hal-01247507v1
|
|||
|
Présentation des résultats du projet OpenEmbeDDNeptune, May 2009, Paris, France
Communication dans un congrès
inria-00381639v1
|
||
|
Verification of GALS Systems by Combining Synchronous Languages and Process CalculiModel Checking Software, Proceedings of the 16th International SPIN Workshop on Model Checking of Software SPIN'2009, Jun 2009, Grenoble, France. ⟨10.1007/978-3-642-02652-2_20⟩
Communication dans un congrès
inria-00388819v1
|
||
|
Equivalence Checking 40 Years After: A Review of Bisimulation ToolsA Journey from Process Algebra via Timed Automata to Model Learning, 13560, Springer Nature Switzerland; Springer Nature Switzerland, pp.213-265, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-15629-8_13⟩
Chapitre d'ouvrage
hal-03920338v1
|
||
|
Compilation et vérification de programmes LOTOSAutre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1989. Français. ⟨NNT : ⟩
Thèse
tel-00004339v1
|
||
|
Comparative Study of Eight Formal Specifications of the Message Authenticator AlgorithmMARS/VPT 2018 - 3nd Workshop on Models for Formal Analysis of Real Systems and the 6th International Workshop on Verification and Program Transformation, Apr 2018, Thessaloniki, Greece. pp.41 - 87, ⟨10.4204/EPTCS.268.2⟩
Communication dans un congrès
hal-01775332v1
|
||
|
The VLSAT-2 Benchmark Suite[Technical Report] RT-0514, INRIA Grenoble Rhône-Alpes. 2021, pp.1-8
Rapport
hal-03337115v1
|
||
|
Reflections on Bernhard Steffen’s Physics of Software ToolsModels, Mindsets, Meta: The What, the How, and the Why Not?, Springer Verlag, pp.186-207, 2019, ⟨10.1007/978-3-030-22348-9_12⟩
Chapitre d'ouvrage
hal-02394588v1
|
||
|
Specification and Verification of various Distributed Leader Election Algorithm for Unidirectional Ring Networks[Research Report] RR-2986, INRIA. 1996
Rapport
inria-00073712v1
|
||
|
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular[Research Report] RR-6368, INRIA. 2007, pp.16
Rapport
inria-00191141v3
|
||
|
TOOLympics 2019: An Overview of Competitions in Formal Methods25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Apr 2019, Prague, Czech Republic. pp.3-24, ⟨10.1007/978-3-030-17502-3_1⟩
Communication dans un congrès
hal-02094030v1
|
||
|
The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark2nd Workshop on Models for Formal Analysis of Real Systems, Apr 2017, Uppsala, Sweden. pp.230 - 270, ⟨10.4204/EPTCS.244.10⟩
Communication dans un congrès
hal-01511847v1
|
||
|
Specification and Verification of the PowerScale Bus Arbitration Protocol:An Industrial Experiment with LOTOS[Research Report] RR-2958, INRIA. 1996
Rapport
inria-00073740v1
|
||
|
On the Most Suitable Axiomatization of Signed Integers23th International Workshop on Algebraic Development Techniques (WADT), Sep 2017, Gregynog, Wales, UK, United Kingdom. pp.120-134, ⟨10.1007/978-3-319-72044-9_9⟩
Communication dans un congrès
hal-01667321v1
|
||
|
A Model-Based Certification Framework for the EnergyBus Standard34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.84-99, ⟨10.1007/978-3-662-43613-4_6⟩
Communication dans un congrès
hal-01098360v1
|
||
|
Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded ArchitecturesSpecial Session at Design, Automation and Test in Europe DATE'08, Mar 2008, (Munich, German Munich, Germany, March 2008, France
Communication dans un congrès
inria-00199914v1
|
||
|
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format[Research Report] RR-6950, INRIA. 2009, pp.27
Rapport
inria-00391024v1
|
||
|
La fiabilité des systèmes devient un défi majeurCollection "20 ans d'avancées et de perspectives en sciences du numérique", 2012, 3 p
Article dans une revue
hal-00812770v1
|
||
|
Model-checking Synthesizable SystemVerilog Descriptions of Asynchronous CircuitsASYNC'18 - 24th IEEE International Symposium on Asynchronous Circuits and Systems , May 2018, Vienne, Austria
Communication dans un congrès
hal-01777093v1
|
||
|
A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm2nd Workshop on Models for Formal Analysis of Real Systems, Apr 2017, Uppsala, Sweden. pp.129 - 183, ⟨10.4204/EPTCS.244.6⟩
Communication dans un congrès
hal-01511859v1
|
||
|
Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic AccountPETRI NETS 2020 - 41st International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2020, Paris, France
Communication dans un congrès
hal-02875957v1
|
||
|
Is CADP an Applicable Formal Method?AppFM 2021 - 1st International Workshop on Applicable Formal Methods, Nov 2021, Bejing, China. ⟨10.48550/arXiv.2111.08203⟩
Communication dans un congrès
hal-03485114v1
|
||
|
OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and TestingRR-3352, INRIA. 1998
Rapport
inria-00073337v1
|
||
|
CADP 2006: A Toolbox for the Construction and Analysis of Distributed ProcessesComputer Aided Verification (CAV'2007), Jul 2007, Berlin, Germany. pp.158-163
Communication dans un congrès
inria-00189021v1
|
||
|
Parallel State Space Construction for Model-Checking[Research Report] RR-4341, INRIA. 2001
Rapport
inria-00072247v1
|
||
|
MCC’2017 - The Seventh Model Checking ContestLNCS Transactions on Petri Nets and Other Models of Concurrency, 11090, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
Proceedings/Recueil des communications
hal-01917492v1
|
||
|
The VLSAT-1 Benchmark Suite[Technical Report] RT-0510, INRIA Grenoble Rhône-Alpes. 2020, pp.6
Rapport
hal-03007233v1
|
- 1
- 2