Petri Nets World - Provides information on the International Conferences on Application and Theory of Petri Nets, mailing lists, bibliographies, tool databases, newsletters, and addresses.

		Friday, 5 September, 2008
		Home \| Submit Science Site \| Add to Favorite \| Contact

for

Directories

Aeronautics and Aerospace

Agriculture

Anomalies and Alternative Science

Educational Resources

Instruments and Supplies

Math

Medical Science

Methods and Techniques

Category: Science » Computer Science » Formal Methods

UPDATE URL | REPORT BROKEN LINK

Petri Nets World

Popularity:

Hit: 338 | Visit: 5

Details

	Provides information on the International Conferences on Application and Theory of Petri Nets, mailing lists, bibliographies, tool databases, newsletters, and addresses. Sponsored Links:
URL:
Title:	Petri Nets World Has Moved
Description:	Science Central - 4537365 - Provides information on the International Conferences on Application and Theory of Petri Nets, mailing lists, bibliographies, tool databases, newsletters, and addresses.
Category:

Related sites

Abstract State Machines: A Formal Method for Specification and Verification (Popularity:

): Project attempting to bridge the gap between formal models of computation and practical specification methods.
Formal Methods Europe (FME) (Popularity:

): Worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
CSP Archive (Popularity:

): Contains information relevant to the process algebra CSP (Communicating Sequential Processes.)

Virtual Library: Formal Methods (Popularity:

): Points to sites containing information on formal methods, useful for mathematically describing and reasoning about ...
First-Order Proof Tactics in Higher-Order Logic Theorem Provers (Popularity:

): Paper evaluating the effectiveness of first-order proof procedures when used as tactics for proving subgoals ...
Interactive Theorem Proving in Higher-Order Logic (PDF) (Popularity:

): Outlines the associated paradoxes, functions, and tactics.

Application Specific Higher Order Logic Theroem Proving (PDF) (Popularity:

): Academic paper, the aim of which is to provide experimental results that compare the performance ...
Virtual Library: HOL Theroem Prover (Popularity:

): Document contains some pointers leading to information on the HOL mechanical theorem proving system, based ...
Formal Methods - Model Checking (Popularity:

): Model checking is a method for formally verifying finite-state concurrent systems.

International Conference on Computer Aided Verification (Popularity:

): Series of conferences dedicated to the theory and practice of computer aided formal analysis methods ...

Home | Submit Science Site | Add to Favorite | Privacy | Contact