Soter: an automatic safety verifier for erlang
Emanuele D'Osualdo‚ Jonathan Kochems and Luke Ong
Address
New York‚ NY‚ USA
Book Title
Proceedings of the 2nd edition on Programming systems‚ languages and applications based on actors‚ agents‚ and decentralized control abstractions
ISBN
978−1−4503−1630−9
Keywords
erlang‚ infinite−state model checking‚ petri nets‚ static analysis‚ verification
Location
Tucson‚ Arizona‚ USA
Pages
137–140
Publisher
ACM
Series
AGERE! '12
Year
2012