• Home
• de.hhu.stups
• alloy2b
• 1.03-BETA
• source code
• addressBook1a.als

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

models.book.chapter2.addressBook1a.als Maven / Gradle / Ivy

module tour/addressBook1a ----- Page 6

sig Name, Addr { }

sig Book {
	addr: Name -> lone Addr
}

pred show { }

// This command generates an instance similar to Fig 2.1
run show for 3 but 1 Book