PathFinder: A tool for design exploration

DOI10.1007/3-540-45657-0_42MaRDI QIDQ4804920zbMATH OpenFDO

Authors Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal

Publication date 1 May 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2404/24040510.htm

zbMATH Keywords

DebuggingDesign ExplorationModel CheckingPathFinder

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Cited in

(3)

• PathFinder
• scientific article; zbMATH DE number 2090135 (Why is no real title available?)
• scientific article; zbMATH DE number 915856 (Why is no real title available?)

This page was built for publication: PathFinder: A tool for design exploration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4804920)