Automatic Unbounded Verification of Alloy Specifications with Prover9 Alcino Cunha and Nuno Macedo HASLab — High Assurance Software Laboratory INESC TEC - Prover9 - Document - PDFSEARCH.IO

First Page	Meta Content
	Automatic Unbounded Verification of Alloy Specifications with Prover9 Alcino Cunha and Nuno Macedo HASLab — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal May 2011 Add to Reading List Document Date: 2014-11-03 12:05:18 Open Document File Size: 347,28 KB Share Result on Facebook Country Portugal / / IndustryTerm safety-critical systems / rewrite systems / selection operator / relation applications / / OperatingSystem Fork / / Organization Universidade do Minho / / Person Student / / Position Professor / model / such as type declarations / lecturer / relation lecturer / / ProgrammingLanguage R / / SocialTag Model theory Metalogic Boolean algebra Formal languages First-order logic Well-formed formula Relation algebra Structure Finitary relation Logic

Automatic Unbounded Verification of Alloy Specifications with Prover9 Alcino Cunha and Nuno Macedo HASLab — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal May 2011Add to Reading List