Work

Automatic verification of counter systems via domain-specific multi-result supercompilation

Year: 2012

Type: article

Authors: Andrei V. Klimov, I G Klyuchnikov, Sergei A. Romanenko

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2135914924

FWCI: 3.345

Cites: 30

Cited by: 5

Related to: 10