E-process design and assurance using model checking

Computer

Volumn 33, Issue 10, 2000, Pages 48-53

  Wang, Wenli ^c   Hidvégi, Zoltán ^d   Bailey Jr , Andrew D ^a   Whinston, Andrew B ^b  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^c EMORY UNIVERSITY   (United States)

^d IBM   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; FORMAL LOGIC; MATHEMATICAL MODELS;

ELECTRONIC PROCESS (E-PROCESS); MODEL CHECKING;

ELECTRONIC COMMERCE;

EID: 0342472220     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/2.876292     Document Type: Article

References (5)

1. R.P. Kurshan, Computer-Aided Verification of Coordinating Processes, Princeton University Press, Princeton, N.J., 1995.
2. R.P. Kurshan, "Formal Verification in a Commercial Setting," Proc. Design Automation Conf., ACM Press, New York, 1997, pp. 258-262.
3. M. Kaufmann, P. Manolios, and J. Moore, Using the ACL2 Theorem Prover: A Tutorial Introduction and Case Studies, Kluwer Academic Puhlishers, Boston, 2000.
4. E.A. Emerson, "Temporal and Modal Logic," Handbook of Theoretical Computer Science, Elsevier Science, Oxford, UK, 1990, pp. 997-1071.
5. W. Wang, Z.T. Hidvegi, and A.B. Whinston, "Designing Secure Mechanisms for Online Processes," to appear in Proc. Int'l Conf. Electronic Commerce 2000, Seung Leem Publishing, Chung-gu, Seoul, Korea, 2000, pp. 312-318.