scientific article; zbMATH DE number 2084755

zbMATH Open1067.68632MaRDI QIDQ4475692FDOQ4475692

Authors: Fabio Fioravanti 

Publication date: 9 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2239/22390762.htm

Title of this publication is not available (Why is that?)

Recommendations

• Program specialization for verifying infinite state systems: an experimental evaluation
• Generalization strategies for the verification of infinite state systems
• Publication:4939270
• Formal Verification of Infinite State Systems Using Boolean Methods
• scientific article; zbMATH DE number 2090119

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (3)

• Formalization of automated trading systems in a concurrent linear framework
• Program specialization for verifying infinite state systems: an experimental evaluation
• Formal Verification of Infinite State Systems Using Boolean Methods

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4475692)