Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
SpringerLink
Log in

Formal analysis for continuous systems controlled by programs

  • Posters
  • Conference paper
  • First Online:
Concurrency and Parallelism, Programming, Networking, and Security (ASIAN 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1179))

Included in the following conference series:

Abstract

We have introduced and demonstrated a verification formalism briefly which explicitly deals with the rational time. The proof (and its verification formalism) of the example is easy and intuitive, for the conventional mathematics is used directly. The entire system of SOFA and the formal proof on FA of this example will appear elsewhere.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. Igarashi, S.: The (ν-conversion and an analytic semantics, in Mason, R. E. A. (ed.), Inf. Proc. 83 (1983), pp. 769–774.

    Google Scholar 

  2. Takeuti, G.: Two applications of logic to mathematics, Princeton University Press (1978).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Information Science, University of Tsukuba, 305, Tsukuba, Japan

    Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane & Masayuki Shio

Authors
  1. Shigeru Igarashi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tetsuya Mizutani
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Tetsuya Shirogane
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Masayuki Shio
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Joxan Jaffar Roland H. C. Yap

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Igarashi, S., Mizutani, T., Shirogane, T., Shio, M. (1996). Formal analysis for continuous systems controlled by programs. In: Jaffar, J., Yap, R.H.C. (eds) Concurrency and Parallelism, Programming, Networking, and Security. ASIAN 1996. Lecture Notes in Computer Science, vol 1179. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027812

Download citation

  • DOI: https://doi.org/10.1007/BFb0027812

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62031-0

  • Online ISBN: 978-3-540-49626-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation