Approximated parameterized verification of infinite-state processes with global conditions, Formal Methods in System Design, vol.116, issue.1, pp.126-156, 2009. ,
DOI : 10.1007/s10703-008-0062-9
Verifying networks of timed processes, TACAS'98, pp.298-312, 1998. ,
DOI : 10.1007/BFb0054179
A Survey of Regular Model Checking, LNCS, vol.12, issue.3, pp.35-48, 2004. ,
DOI : 10.1007/BFb0028736
Introducing dynamic constraints in B, ) B'98, pp.83-128, 1998. ,
DOI : 10.1007/BFb0053357
Parameterized Verification with Automatically Computed Inductive Assertions?, CAV'01, pp.221-234, 2001. ,
DOI : 10.1007/3-540-44585-4_19
What???s Decidable About Arrays?, VMCAI'06, pp.427-442, 2006. ,
DOI : 10.1007/11609773_28
Environment Abstraction for Parameterized Verification, VMCAI'06, pp.126-141, 2006. ,
DOI : 10.1007/11609773_9
Automatic verification of parametric specifications with complex topologies. Reports of SFB, p.14, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00523033
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters, IFM'07, pp.233-252, 2007. ,
DOI : 10.1007/978-3-540-73210-5_13
A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems, Formal Methods and Hybrid Real-Time Systems, pp.320-348, 2007. ,
DOI : 10.1007/978-3-540-75221-9_14
Combination of Processes, Data, and Time, 2006. ,
CSP-OZ-DC: A combination of specification techniques for processes, data and time, Nordic J. Comput, vol.9, issue.4, pp.301-334, 2002. ,
On Local Reasoning in Verification, TACAS'08, pp.265-281, 2008. ,
DOI : 10.1007/978-3-540-78800-3_19
System Description: H-PILoT, CADE'09, pp.131-139, 2009. ,
DOI : 10.1016/S0747-7171(03)00069-5
Applications of hierarchic reasoning in the verification of complex systems, ENTCS, vol.174, issue.8, pp.39-54, 2007. ,
Indexed Predicate Discovery for Unbounded System Verification, CAV'04, pp.135-147, 2004. ,
DOI : 10.1007/978-3-540-27813-9_11
Blending Object-Z and Timed CSP: an introduction to TCOZ, Proceedings of the 20th International Conference on Software Engineering, pp.95-104, 1998. ,
DOI : 10.1109/ICSE.1998.671106
Data Structure Specifications via Local Equality Axioms, CAV'05, pp.476-490, 2005. ,
DOI : 10.1007/11513988_47
Model checking duration calculus: A practical approach, Form. Asp. Comput, vol.20, pp.4-5, 2008. ,
Integrating a formal method into a software engineering process with UML and Java, Formal Aspects of Computing, vol.12, issue.3, pp.161-204, 2008. ,
DOI : 10.1007/s00165-007-0042-7
European Train Control System: A Case Study in Formal Verification, ICFEM'09, pp.246-265, 2009. ,
DOI : 10.1007/978-3-642-10373-5_13
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement, PADL'07, pp.245-259, 2007. ,
DOI : 10.1007/978-3-540-69611-7_16
Hierarchic Reasoning in Local Theory Extensions, CADE'05, pp.219-234, 2005. ,
DOI : 10.1007/11532231_16
Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems, Electronic Notes in Theoretical Computer Science, vol.230, pp.161-187, 2009. ,
DOI : 10.1016/j.entcs.2009.02.024
Hierarchical Reasoning for the Verification of Parametric Systems, IJCAR'10. LNAI, pp.171-187, 2010. ,
DOI : 10.1007/978-3-642-14203-1_15
A concurrent language for refinement, ) IWFM'01, 2001. ,