Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems

@article{Jeannet2003DynamicPI,
  title={Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems},
  author={Bertrand Jeannet},
  journal={Formal Methods in System Design},
  year={2003},
  volume={23},
  pages={5-37}
}
We apply linear relation analysis [CH78, HPR97] to the verification of declarative synchronous programs [Hal98]. In this approach, state partitioning plays an important role: on one hand the precision of the results highly depends on the fineness of the partitioning; on the other hand, a too much detailed partitioning may result in an exponential explosion of the analysis. In this paper we propose to consider very general partitions of the state space and to dynamically select a suitable… CONTINUE READING
Highly Influential
This paper has highly influenced 12 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 105 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 70 extracted citations

106 Citations

051015'01'04'08'12'16
Citations per Year
Semantic Scholar estimates that this publication has 106 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 51 references

Rhiger.A Simple Take on Typed Abstract Syntax in Haskell-like Languages

  • Olivier Danvy, Morten
  • To appear in Fifth International Symposium on…
  • 2001

Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Synchronous Programs

  • Bertrand Jeannet
  • 2000

Nielsen.A Higher-Order Colon Translation

  • Olivier Danvy, R Lasse
  • pp. To appear inFifth International Symposium on…
  • 2000

Reynolds.The Meaning of Types — From Intrinsic to Extrinsic Semantics

  • C. John
  • 2000

Synthesis of Control Programs for a Batch Plant using December 2000. 29 pp. Appears in Lai, editor,International Workshop in Distributed Systems Validation and Verification

  • Thomas S. Hune, Kim G. Larsen, Paul Pettersson
  • 2000

Similar Papers

Loading similar papers…