Simplification of Proof Procedures Based on the Path Condition Concepts

Autor:	Mireille Larnac, Vincent Chapurlat, Janine Magnier
Rok vydání:	2000
Předmět:	Finite-state machine Proof complexity Computer science Symbolic computation Mathematical proof Formal proof Computer-assisted proof Formal language Calculus Temporal logic Direct proof Structural proof theory Algorithm Formal verification Analytic proof
Zdroj:	Computer Aided Systems Theory-EUROCAST’99 ISBN: 9783540678229 EUROCAST
DOI:	10.1007/10720123_11
Popis:	The formal proof of properties of a system first requires the expression of the behavior of the system into a formal language.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::6d6beae1ef38d418091ae621656401b6 https://doi.org/10.1007/10720123_11 Zobrazit plný text záznamu