Work

Testing Temporal Logic on Infinite Java Traces

Year: 2012

Type: conference-paper

DOI: 10.5220/0004127700370047

Authors: Damián Adalid, Alberto Salmerón, María del Mar Gallardo, Pedro Merino

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

OpenAlex ID: W2549290331

FWCI: 0.235

Cites:

Cited by: 1

Related to: 10