Work

Forward Analysis and Model Checking for Trace Bounded WSTS

Year: 2011

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-21834-7_4

Authors: Pierre Chambart, Alain Finkel, Sylvain Schmitz

Institutions: École Normale Supérieure Paris-Saclay, Centre National de la Recherche Scientifique, Laboratoire Spécification et Vérification

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1932743339

FWCI: 1.649

Cites: 32

Cited by: 10

Related to: