ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Verifying temporal properties of systems
  Purchase this Book  
Source Birkhauser Boston Inc.   Cambridge, MA, USA
Pages: 115  
Year of Publication: 1991
ISBN:0-8176-3625-0
Author
Julian Charles Bradfield  Univ. of Edinburgh, Edinburgh, Scotland, UK
Publisher
Birkhauser Boston Inc.  Cambridge, MA, USA
Bibliometrics
Downloads (6 Weeks): n/a,   Downloads (12 Months): n/a,   Citation Count: 14
Additional Information:

cited by   index terms   review   collaborative colleagues  

Tools and Actions: Review this Book  

CITED BY  14
David A. Schmidt, Data flow analysis is model checking of abstract interpretations, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.38-48, January 19-21, 1998, San Diego, California, United States
Tevfik Bultan , Richard Gerber , William Pugh, Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.4, p.747-789, July 1999
Christoph Kern , Mark R. Greenstreet, Formal verification in hardware design: a survey, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.4 n.2, p.123-193, April 1999
Ahmed Bouajjani , Rachid Echahed , Peter Habermehl, Verifying infinite state processes with sequential and parallel composition, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.95-106, January 23-25, 1995, San Francisco, California, United States
Hardi Hungar , Bernhard Steffen, Local model checking for context-free processes, Nordic Journal of Computing, v.1 n.3, p.364-385, Fall 1994
Tevfik Bultan , Richard Gerber , Christopher League, Composite model-checking: verification with type-specific symbolic representations, ACM Transactions on Software Engineering and Methodology (TOSEM), v.9 n.1, p.3-50, Jan. 2000
Henny B. Sipma , Tomás E. Uribe , Zohar Manna, Deductive Model Checking, Formal Methods in System Design, v.15 n.1, p.49-74, July 1999
Radu Mateescu , Mihaela Sighireanu, Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Science of Computer Programming, v.46 n.3, p.255-281, March 2003
Mila Majster-Cederbaum , Frank Salger, Towards the hierarchical verification of reactive systems, Theoretical Computer Science, v.318 n.3, p.243-296, 8 June 2004
Jan Friso Groote , Tim A. C. Willemse, Parameterised boolean equation systems, Theoretical Computer Science, v.343 n.3, p.332-369, 17 October 2005
Jan Broersen , Roel Wieringa , John-Jules Meyer, A Fixed-point Characterization of a Deontic Logic of Regular Action, Fundamenta Informaticae, v.48 n.2-3, p.107-128, April 2001
Tobias Schuele , Klaus Schneider, Bounded model checking of infinite state systems, Formal Methods in System Design, v.30 n.1, p.51-81, February 2007
Julia Padberg, Safety Properties In Petri Net Modules, Journal of Integrated Design & Process Science, v.8 n.4, p.65-78, December 2004
Michael R. A. Huth , Radha Jagadeesan , David A. Schmidt, A domain equation for refinement of partial systems, Mathematical Structures in Computer Science, v.14 n.4, p.469-505, August 2004

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS

Additional Classification:
  F. Theory of Computation
  F.1 COMPUTATION BY ABSTRACT DEVICES
      F.1.2 Modes of Computation
          Subjects: Parallelism and concurrency
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.1 Mathematical Logic
          Subjects: Lambda calculus and related systems; Proof theory


General Terms:
Theory, Verification


REVIEW

"Alberto Pettorossi : Reviewer"

A powerful tableau technique for the verification of properties of both finite and infinite systems is introduced. The technique extends to the case of infinite systems the idea of finite local model-checking introduced by Stirling and Walker   more...

Collaborative Colleagues:
Julian Charles Bradfield: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player