Skip to content
/ smart Public

Stochastic Model-checking Analyzer for Reliability and Timing

License

Notifications You must be signed in to change notification settings

asminer/smart

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1,134 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

New autotools version of Smart (since revision 1339)

See the INSTALL file for build instructions.

Note: we have two binary directories, one for development code
(debugging) and one for release.  Binary directories are not
separated out by architecture; hopefully, autotools will help
with porting across systems.  If you absolutely must have different
directories for different architectures (e.g., a common filesystem
for multiple architectures), the easiest thing to do is to check
out multiple copies from the repository, one for each architecture.


Subdirectories and what they are for.

Models/       Example models that we like to use.
Tests/        Regression tests
bin-devel/    Binaries for testing during development
bin-release/  Binaries for release
doxy/         Documentation
src/          Source code

About

Stochastic Model-checking Analyzer for Reliability and Timing

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Contributors 6