VAlloy -- virtual functions meet a relational language

DOI10.1007/3-540-45614-7_14MaRDI QIDQ4808832zbMATH OpenFDO

Authors Darko Marinov, Sarfraz Khurshid

Publication date 12 August 2004

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/2391/23910234.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Alloy: A logical modelling language
• An approach to combining B and Alloy
• Alloy: A new technology for software modelling
• Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications
• Foundations for virtual types

Cited in

(2)

• scientific article; zbMATH DE number 1533444 (Why is no real title available?)
• A study of symmetry breaking predicates and model counting

Describes a project that uses

Uses Software

• TestEra

This page was built for publication: VAlloy -- virtual functions meet a relational language

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