I guess that Dafny syntax doesn't allow to declare auxiliary variables in the body of inductive predicates, does it? why?
↧
Channel:
Dafny: An Automatic Program Verifier for Functional Correctness
X
Are you the publisher?
Claim or
contact us
about this channel.
X
0
Channel Details:
- Title: Dafny: An Automatic Program Verifier for Functional Correctness
- Channel Number: 35923455
- Language: English
- Registered On: November 2, 2014, 11:30 pm
- Number of Articles: 1106
- Latest Snapshot: February 15, 2017, 10:35 am
- RSS URL: http://dafny.codeplex.com/project/feeds/rss
- Publisher: http://dafny.codeplex.com/project/feeds/rss
- Description: Dafny is an automatic program verifier for functional correctness.
- Catalog: //dafny6.rssing.com/catalog.php?indx=35923455
© 2025 //www.rssing.com