scientific article; zbMATH DE number 6856316

From MaRDI portal

Publication:4610086

Jump to:navigation, search

zbMath1413.68021MaRDI QIDQ4610086

Adam Rogalewicz, Radu Iosif

Publication date: 5 April 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

formal verification tree automata Büchi automata termination analysis programs with pointers

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Automata-Based Termination Proofs

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4610086&oldid=18776475"