Work

Challenges in embedded model checking — a simulator for the [mc]square model checker

Year: 2008

Type: conference-paper

Source: IEEE International Symposium on Industrial Embedded Systems (SIES)

DOI: 10.1109/sies.2008.4577709

Authors: Thomas Reinbacher, Michael Kramer, Martin Horauer, Bastian Schlich

Institutions: University of Applied Sciences Technikum Wien, RWTH Aachen University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2134455079

FWCI: 0.943

Cites: 13

Cited by: 7

Related to: 10